Вклад участника
14 октября 2010
9 октября 2010
Теорема Клини (совпадение классов автоматных и регулярных языков)
небольшие переименования переменных в формулах
м+19
Теорема Клини (совпадение классов автоматных и регулярных языков)
Исправил списки, сделал хорошие угловые скобки вместо уродских
м+20
7 октября 2010
Теорема Клини (совпадение классов автоматных и регулярных языков)
Нет описания правки
м+1
Теорема Клини (совпадение классов автоматных и регулярных языков)
Новая страница: «{{Теорема |author=Клини |statement=Классы автоматных и регулярных языков совпадают. <tex>Reg = Aut</tex> |proof…»
Файл:Klenee.png
Автомат для замыкания Клини некоторого языка
Файл:Cup.png
Автомат для объединения двух языков
Файл:Concat.png
Автомат для конкатенации двух языков
Файл:Reg0.png
Регулярные языки нулевого поколения