Вклад участника
18 января 2012
Алгоритм Эрли
Пример
-468
Алгоритм Эрли
Добил доказательство, уф.
+323
Алгоритм Эрли
Быстрофикс по результатам обдумывания во сне
+151
M-сводимость
Да ни у кого больше нет таких проблем с логикой, зачем это здесь?
-206
Алгоритм Эрли
Первая половина доказательства в порядке
+3
Алгоритм Эрли
Обозначения
Алгоритм Эрли
Не теряю надежду
-6
Алгоритм Эрли
Пытаюсь привести в порядок буквы. Испытываю острую потребность УБИВАТЬ.
Алгоритм Эрли
Теорема о корректности: формулировка и оформление
-56
Алгоритм Эрли
Алгоритм в читабельном виде
-317
Алгоритм Эрли
Полезное свойство списка разбора. Скоро будет алгоритм Эрли.
+528
Алгоритм Эрли
Определения
-87
Обсуждение:M-сводимость
Нет описания правки
+114
Обсуждение:M-сводимость
Нет описания правки
+1108
17 января 2012
Обсуждение:Регулярные языки: два определения и их эквивалентность
Нет описания правки
+490
Обсуждение:M-сводимость
Нет описания правки
+456
Замкнутость регулярных языков относительно различных операций
Нет описания правки
м-1
Замкнутость регулярных языков относительно различных операций
Произведение автоматов на радость Роме
+245
Прямое произведение ДКА
Новая страница: «{{Определение |definition= '''Прямым произведением''' двух [[Детерминированные конечные автоматы|...»
Теория формальных языков
На радость Роме
+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
