170
правок
Изменения
м
Нет описания правки
{{Теорема
|author=Клини
|statement=Классы [[Детерминированные_конечные_автоматы#Автоматные_языки | автоматных]] и [[Регулярные языки:_два определения_и_их_эквивалентность #REG1 | регулярных]] языков совпадают.
|proof=
[[Файл:Reg0.png|200px|thumb|right|Автоматы для регулярных языков нулевого поколения]]
