Вклад участника
23 мая 2014
22 января 2014
14 января 2014
Обсуждение:Примеры неразрешимых задач: задача о выводе в полусистеме Туэ
Нет описания правки
+526
Обсуждение:Контексты и синтаксические моноиды
Нет описания правки
+427
1 октября 2013
19 февраля 2013
15 февраля 2013
Обсуждение:Язык программирования Java
Новая страница: «Разве этот конспект правда будет проверяемым?»
13 февраля 2013
19 сентября 2012
Доказательство нерегулярности языков: лемма о разрастании
Отмена правки 27233 участника Roman Kolganov (обсуждение) wrong
+160
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
-160
27 июня 2012
24 января 2012
Перечислимые языки
Нет описания правки
+4
Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
Нет описания правки
+80
Теория формальных языков
это в диагональном методе
-256
Лемма Огдена
Нет описания правки
+10
Детерминированные автоматы с магазинной памятью
Нет описания правки
-504
Совпадение множества языков МП-автоматов и контекстно-свободных языков
Нет описания правки
+1
МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
Нет описания правки
+43
Автоматы с магазинной памятью
Нет описания правки
-15
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+1026
Нормальная форма Хомского
Нет описания правки
+230
Удаление длинных правил из грамматики
Нет описания правки
+4
Удаление цепных правил из грамматики
Нет описания правки
+4
Удаление eps-правил из грамматики
Нет описания правки
-2
Удаление бесполезных символов из грамматики
Нет описания правки
+123
23 января 2012
Решение уравнений в регулярных выражениях
Нет описания правки
+74
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
+302
Прямое произведение ДКА
Нет описания правки
-42
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Нет описания правки
+11
Эквивалентность состояний ДКА
Нет описания правки
-5801
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Нет описания правки
-109
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Нет описания правки
-1825
Эквивалентность состояний ДКА
Нет описания правки
+39
Эквивалентность состояний ДКА
Нет описания правки
+48
Теорема Клини (совпадение классов автоматных и регулярных языков)
Нет описания правки
+4
Автоматы с eps-переходами. Eps-замыкание
Нет описания правки
-15
Обсуждение:Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Псевдокод алгоритма немного странный: Новая тема
+332
Детерминированные конечные автоматы
Нет описания правки
+10
Регулярные языки: два определения и их эквивалентность
Нет описания правки
+5
Регулярные языки: два определения и их эквивалентность
Нет описания правки
+13
22 января 2012
11 ноября 2011
Иерархия Хомского формальных грамматик
Нет описания правки
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
Обсуждение:Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
Очень сложно: Новая тема
+363
Обсуждение:Регулярные языки: два определения и их эквивалентность
Нет описания правки
-29
Обсуждение:Регулярные языки: два определения и их эквивалентность
Нет описания правки
+29
Обсуждение:Регулярные языки: два определения и их эквивалентность
Язык и множество языков: Новая тема
+351
Обсуждение:Операции над языками: теоретико-множественные операции, конкатенация, замыкание Клини
Вандалы отаке
Обсуждение:Замкнутость регулярных языков относительно различных операций
Вандалы отаке
Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах
Вандалы отаке: Новая тема
+451
