Об улучшении диагностических возможностей автомата путем выведения контрольных точек

Рассматривается задача такого преобразования конечного автомата, чтобы результирующий автомат имел диагностическими словами все слова из заданного регулярного множества. Показано, что эта задача всегда может быть сведена к аналогичной задаче для конечного множества слов, названного каноническим базисом регулярного множества. Доказана единственность базиса и предложены графический и аналитический способы его построения. Приводится не содержащий перебора алгоритм нахождения множества контрольных точек, не гарантирующий получения минимального решения.