Вклад участника
24 января 2012
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+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
7 ноября 2011
Обсуждение:Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Нет описания правки
+218
Регулярные языки: два определения и их эквивалентность
Нет описания правки
+11
Регулярные языки: два определения и их эквивалентность
Нет описания правки
+6
Обсуждение:Нормальная форма Хомского
Нет описания правки
+954
Обсуждение:Нормальная форма Хомского
Нет описания правки
+86
Обсуждение:Нормальная форма Хомского
Нет описания правки
+932
2 ноября 2011
24 января 2011
22 января 2011
11 января 2011
Функциональный анализ
Нет описания правки
+79
Функциональный анализ
Нет описания правки
-7
Функциональный анализ
Нет описания правки
-3
Функциональный анализ
Нет описания правки
+436
9 января 2011
Функциональный анализ
Нет описания правки
+774
Функциональный анализ
Нет описания правки
+841
Функциональный анализ
Нет описания правки
+133
Функциональный анализ
Нет описания правки
+3174