Вклад участника
- 05:13, 14 октября 2010 (разн. | история) . . (+2201) . . Н Удаление цепных правил из грамматики (Новая страница: «{{Определение |definition = Правила вида <tex>A \to B</tex> (<tex>A,B</tex> - нетерминалы) называются цепными. }} …»)
- 23:42, 9 октября 2010 (разн. | история) . . (+19) . . м Теорема Клини (совпадение классов автоматных и регулярных языков) (небольшие переименования переменных в формулах)
- 23:35, 9 октября 2010 (разн. | история) . . (+20) . . м Теорема Клини (совпадение классов автоматных и регулярных языков) (Исправил списки, сделал хорошие угловые скобки вместо уродских)
- 02:48, 7 октября 2010 (разн. | история) . . (+1) . . м Теорема Клини (совпадение классов автоматных и регулярных языков)
- 02:39, 7 октября 2010 (разн. | история) . . (+3860) . . Н Теорема Клини (совпадение классов автоматных и регулярных языков) (Новая страница: «{{Теорема |author=Клини |statement=Классы автоматных и регулярных языков совпадают. <tex>Reg = Aut</tex> |proof…»)
- 01:59, 7 октября 2010 (разн. | история) . . (+83) . . Н Файл:Klenee.png (Автомат для замыкания Клини некоторого языка) (текущая)
- 01:58, 7 октября 2010 (разн. | история) . . (+66) . . Н Файл:Cup.png (Автомат для объединения двух языков) (текущая)
- 01:58, 7 октября 2010 (разн. | история) . . (+68) . . Н Файл:Concat.png (Автомат для конкатенации двух языков) (текущая)
- 01:13, 7 октября 2010 (разн. | история) . . (+67) . . Н Файл:Reg0.png (Регулярные языки нулевого поколения) (текущая)
