Вклад участника

Перейти к: навигация, поиск

AReunov

16 января 2016

Busy beaver
Нет описания правки
18:19
-120
Busy beaver
Нет описания правки
18:19
+399
Busy beaver
Нет описания правки
18:17
-963
Busy beaver
Нет описания правки
16:44
+102

14 января 2016

Busy beaver
Нет описания правки
23:35
-2
Busy beaver
Нет описания правки
22:19
+1761
Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
Нет описания правки
20:50
+212
Busy beaver
Нет описания правки
20:03
+4
Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
Нет описания правки
19:50
+1767
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
17:50
Неразрешимость исчисления предикатов первого порядка
Нет описания правки
17:42
+146
Неразрешимость исчисления предикатов первого порядка
Нет описания правки
17:40
-426
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
17:25
-978
Busy beaver
Нет описания правки
16:41
-148
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Нет описания правки
16:21
+84
Неразрешимость исчисления предикатов первого порядка
‎См. также
02:24
+532
Примеры неразрешимых задач: однозначность грамматики
‎См. также
02:24
+532
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
02:16
+1383
Неразрешимость исчисления предикатов первого порядка
Нет описания правки
02:08
+473
Неразрешимость исчисления предикатов первого порядка
‎Ссылки
м
01:42
+27
Busy beaver
Нет описания правки
01:35
+2251
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Нет описания правки
00:18
+12

13 января 2016

Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Нет описания правки
18:05
+1014
Обсуждение:Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Удалено содержимое страницы
17:45
-884
Теорема Клини (совпадение классов автоматных и регулярных языков)
Нет описания правки
14:57
+738

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Вклад/AReunov»

Вклад участника

AReunov

16 января 2016

Busy beaver

Busy beaver

Busy beaver

Busy beaver

14 января 2016

Busy beaver

Busy beaver

Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами

Busy beaver

Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами

Примеры неразрешимых задач: однозначность грамматики

Неразрешимость исчисления предикатов первого порядка

Неразрешимость исчисления предикатов первого порядка

Примеры неразрешимых задач: однозначность грамматики

Busy beaver

Неукорачивающие и контекстно-зависимые грамматики, эквивалентность

Неразрешимость исчисления предикатов первого порядка

Примеры неразрешимых задач: однозначность грамматики

Примеры неразрешимых задач: однозначность грамматики

Неразрешимость исчисления предикатов первого порядка

Неразрешимость исчисления предикатов первого порядка

Busy beaver

Неукорачивающие и контекстно-зависимые грамматики, эквивалентность

13 января 2016

Неукорачивающие и контекстно-зависимые грамматики, эквивалентность

Обсуждение:Неукорачивающие и контекстно-зависимые грамматики, эквивалентность

Теорема Клини (совпадение классов автоматных и регулярных языков)

Навигация

Персональные инструменты

Пространства имён

Варианты

Просмотры

Ещё

Поиск

Навигация

Инструменты