73
правки
Изменения
м
Нет описания правки
Таким образом, надо построить пересечение двух автоматов, предварительно инвертировав во втором терминальные и нетерминальные состояния. Заметим, что меняется только набор терминальных вершин, следовательно в итоговой конструкции произведения ДКА сделаем терминальными следующие вершины <tex>T = T_1 \times (Q_2 \setminus T_2)</tex>.
== См. также ==
* [[Детерминированные конечные автоматы]]
* [[Замкнутость регулярных языков относительно различных операций]]
== Источники информации ==
* [[wikipedia:Deterministic_finite_automaton | Wikipedia {{---}} Deterministic finite automaton]]
* [[http://www.andrew.cmu.edu/user/ko/pdfs/lecture-3.pdf | FORMAL LANGUAGES, AUTOMATA AND COMPUTATION : Carnegie Mellon University in Qatar
]]
* ''Хопкрофт Д., Мотвани Р., Ульман Д.'' Введение в теорию автоматов, языков и вычислений, 2-е изд. : Пер. с англ. {{---}} М.:Издательский дом «Вильямс», 2002. {{---}} С. 152-154.
[[Категория: Теория формальных языков]]
[[Категория: Автоматы и регулярные языки]]
