Бюрократы, editor, Администраторы
422
правки
Изменения
м
Нет описания правки
1. <tex>Reg \subset Aut</tex>.
Для доказательства будем строить автоматы, допускающие регулярные языки(см. картинки справа). При этом будем использовать индукцию по номеру поколения регулярного языка.
'''База.''' <tex>n = 0</tex>.
