Изменения

Пусть <tex dpi="150">L</tex> {{---}} регулярный язык над алфавитом <tex dpi="150">\Sigma</tex>, распознающийся [[Детерминированные конечные автоматы | детерминированным конечным автоматом]] <tex dpi="150">A</tex>. Пусть множество состояний <tex dpi="150">AQ</tex> {{---}} множество состояний <tex dpi="150">Q; A, |Q| = n, s \in Q</tex> {{---}} стартовое состояние, <tex dpi="150">T \subset Q</tex> {{---}} множество терминальных состояний. Рассмотрим вектор <tex dpi="150">u = (0, 0,...1, 0,...0)</tex> длины <tex dpi="150">n</tex>, содержащий единственную единицу на позиции <tex dpi="150">s</tex>.