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