Вклад участника
- 18:19, 16 января 2016 (разн. | история) . . (-120) . . Busy beaver
- 18:19, 16 января 2016 (разн. | история) . . (+399) . . Busy beaver
- 18:17, 16 января 2016 (разн. | история) . . (-963) . . Busy beaver
- 16:44, 16 января 2016 (разн. | история) . . (+102) . . Busy beaver
- 23:35, 14 января 2016 (разн. | история) . . (-2) . . Busy beaver
- 22:19, 14 января 2016 (разн. | история) . . (+1761) . . Busy beaver
- 20:50, 14 января 2016 (разн. | история) . . (+212) . . Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
- 20:03, 14 января 2016 (разн. | история) . . (+4) . . Busy beaver
- 19:50, 14 января 2016 (разн. | история) . . (+1767) . . Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
- 17:50, 14 января 2016 (разн. | история) . . (0) . . Примеры неразрешимых задач: однозначность грамматики
- 17:42, 14 января 2016 (разн. | история) . . (+146) . . Неразрешимость исчисления предикатов первого порядка
- 17:40, 14 января 2016 (разн. | история) . . (-426) . . Неразрешимость исчисления предикатов первого порядка
- 17:25, 14 января 2016 (разн. | история) . . (-978) . . Примеры неразрешимых задач: однозначность грамматики
- 16:41, 14 января 2016 (разн. | история) . . (-148) . . Busy beaver
- 16:21, 14 января 2016 (разн. | история) . . (+84) . . Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
- 02:24, 14 января 2016 (разн. | история) . . (+532) . . Неразрешимость исчисления предикатов первого порядка (→См. также)
- 02:24, 14 января 2016 (разн. | история) . . (+532) . . Примеры неразрешимых задач: однозначность грамматики (→См. также)
- 02:16, 14 января 2016 (разн. | история) . . (+1383) . . Примеры неразрешимых задач: однозначность грамматики
- 02:08, 14 января 2016 (разн. | история) . . (+473) . . Неразрешимость исчисления предикатов первого порядка
- 01:42, 14 января 2016 (разн. | история) . . (+27) . . м Неразрешимость исчисления предикатов первого порядка (→Ссылки)
- 01:35, 14 января 2016 (разн. | история) . . (+2251) . . Busy beaver
- 00:18, 14 января 2016 (разн. | история) . . (+12) . . Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
- 18:05, 13 января 2016 (разн. | история) . . (+1014) . . Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
- 17:45, 13 января 2016 (разн. | история) . . (-884) . . Обсуждение:Неукорачивающие и контекстно-зависимые грамматики, эквивалентность (Удалено содержимое страницы) (текущая)
- 14:57, 13 января 2016 (разн. | история) . . (+738) . . Теорема Клини (совпадение классов автоматных и регулярных языков)
