Изменения
Нет описания правки
#*...
Доказательство. Возьмем слово a, которое допускает автомат < tex> A_1</tex> и автомат <tex> A_2 </tex>. Выпишем все состояния в порядке допуска слова a автоматом <tex>A_1</tex> {{---}} <tex> a_{11}, a_{12}, ... , a_{1|a|} </tex> и все состояния проходимыме при допуске слова автоматом <tex>A_2</tex> {{---}} <tex> a_{21}, a_{22}, ... , a_{2|a|} </tex>.
== Применение ==
Изменив конструкцию, можно получить автомат, допускающий разность или объединение двух языков.
