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

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

Leugenea

23 января 2012

Иерархия Хомского формальных грамматик
‎Класс 2
м
06:24
-5

21 января 2012

Автоматы с eps-переходами. Eps-замыкание
‎Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание
м
12:02
-151
Автоматы с eps-переходами. Eps-замыкание
«Определение» эквивалентности
м
12:01
+306
Существенно неоднозначные языки
И снова русский язык
м
09:54
+6
Существенно неоднозначные языки
Фикс русского
м
09:52
+11
Интерпретация булевых формул с кванторами как игр для двух игроков
Быстрое исправление тупой баги
м
09:14
-2
Интерпретация булевых формул с кванторами как игр для двух игроков
Убрано много-премного бреееееда
08:53
+391
Регулярные языки: два определения и их эквивалентность
Переработка первой части доказательства (суровая такая)
08:02
+644
Регулярные языки: два определения и их эквивалентность
Пофикшены определения
07:22
+167

17 января 2012

5 января 2012

20 декабря 2011

Обсуждение:Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
ToDo2
05:45
+803

19 декабря 2011

14 декабря 2011

Обсуждение:Разрешимые (рекурсивные) языки
Невскидку
09:17

9 декабря 2011

Недетерминированные конечные автоматы
‎Язык автомата
м
07:13
-1

5 декабря 2011

Обсуждение:Лемма Огдена
ToDo
08:11
+896

26 ноября 2011

22 ноября 2011

Обсуждение:Существенно неоднозначные языки
Про баги (тысячи их)
06:16

16 ноября 2011

Эквивалентность состояний ДКА
Нет описания правки
м
21:22
+4

14 ноября 2011

11 ноября 2011

10 ноября 2011

9 ноября 2011

50 более старых

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

Навигация