Вклад участника
17 января 2012
Теория формальных языков
На радость Роме
+50
Обсуждение:Замкнутость регулярных языков относительно различных операций
Вандалы отаке
+111
Контексты и синтаксические моноиды
Правый контекст: : лемма
+555
Теорема Клини (совпадение классов автоматных и регулярных языков)
Нет описания правки
м+38
Теорема Клини (совпадение классов автоматных и регулярных языков)
Серьёзно, кому интересны эти обозначения?
-36
25 декабря 2011
K-связность
Дарю
м+56
Обсуждение:M-сводимость
Нет описания правки
+207
M-сводимость
Так правильнее
м+17
Шаблон:Заголовок со строчной буквы
Новая страница: «{{DISPLAYTITLE:{{#if:{{NAMESPACE}}|{{NAMESPACE}}:|}}{{lcfirst:{{PAGENAME}}}}}}<noinclude>{{doc-inline}} Шаблон делает первую букву загол...»
Обсуждение:M-сводимость
Нет описания правки
+57
Обсуждение:M-сводимость
Нет описания правки
+142
M-сводимость
Нет описания правки
м+40
Теория формальных языков
Теория вычислимости
+28
Обсуждение:M-сводимость
Новая страница: «Заголовок надо написать с маленькой буквы. Тому, кто сможет это нормально сделать, — приз. ...»
17 декабря 2011
Обсуждение:Диагональный метод
Новая страница: «Где-то я уже видел точно так же неправильно оформленную ссылку на источник… ~~~»
Обсуждение:Разрешимые (рекурсивные) языки
Нет описания правки
+281
Удаление eps-правил из грамматики
Нет описания правки
м+62
Удаление eps-правил из грамматики
Алгоритм удаления ε-правил из грамматики
м+34
Удаление eps-правил из грамматики
Алгоритм удаления ε-правил из грамматики
м
12 декабря 2011
Удаление eps-правил из грамматики
Нет описания правки
м-19
Удаление eps-правил из грамматики
Алгоритм поиска ε-порождающих нетерминалов
+3
Удаление eps-правил из грамматики
Алгоритм удаления ε-правил из грамматики
-377
11 декабря 2011
10 декабря 2011
7 декабря 2011
Обсуждение:Алгоритм Эрли
Нет описания правки
+1710
Алгоритм Эрли
Нет описания правки
+8
Алгоритм Эрли
Определения
+16
Алгоритм Эрли
Нет описания правки
+242
Обсуждение:Удаление eps-правил из грамматики
Теорема про удаление
+428
Удаление eps-правил из грамматики
Нет описания правки
-47
Обсуждение:Удаление eps-правил из грамматики
Нет описания правки
+1765
Обсуждение:Удаление eps-правил из грамматики
Нет описания правки
+1751
Удаление eps-правил из грамматики
Алгоритм поиска ε-порождающих нетерминалов
+54
6 декабря 2011
5 декабря 2011
Алгоритм Фарака-Колтона и Бендера
Нафиг пробел добавили? — Отмена правки 10280 участника 192.168.0.2 (обсуждение)
м-2
Обсуждение:Удаление eps-правил из грамматики
Нет описания правки
+2242
Удаление eps-правил из грамматики
Нет описания правки
м-20
Удаление eps-правил из грамматики
Нет описания правки
-679
Обсуждение:Удаление eps-правил из грамматики
Нет описания правки
+110
Теория формальных языков
Нет описания правки
м-1
4 декабря 2011
Обсуждение:Алгоритм Эрли
Нет описания правки
+120
Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ
Нет описания правки
+5
Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ
Нет описания правки
+37
30 ноября 2011
18 ноября 2011
10 ноября 2011
Обсуждение:Формальные грамматики
ToDo
+124
Обсуждение:Формальные грамматики
Нет описания правки
+207
Обсуждение:Формальные грамматики
Нет описания правки
+906
9 ноября 2011
Обсуждение:Формальные грамматики
Нет описания правки
м+7
Обсуждение:Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
+91