Вклад участника
2 апреля 2012
23 января 2012
Автоматы с eps-переходами. Eps-замыкание
Автоматы с \varepsilon-переходами
м-3
Автоматы с eps-переходами. Eps-замыкание
Совпадение множеств языков, допускаемых eps-НКА и ДКА
м+32
Автоматы с eps-переходами. Eps-замыкание
Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание
м+32
Автоматы с eps-переходами. Eps-замыкание
Автоматы с eps-переходами
м+32
Автоматы с eps-переходами. Eps-замыкание
Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание
м+5
Детерминированные автоматы с магазинной памятью
Нет описания правки
м+40
Устранение левой рекурсии
Нет описания правки
м+12
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Нет описания правки
м+2
12 декабря 2011
9 декабря 2011
Формальные грамматики
Нет описания правки
м+8
Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
Пустота
м+44
Теорема Клини (совпадение классов автоматных и регулярных языков)
Нет описания правки
м+33
8 декабря 2011
Эквивалентность состояний ДКА
Нет описания правки
м+1
Недетерминированные конечные автоматы
Алгоритм
м+52
Недетерминированные конечные автоматы
Язык автомата
м+16
Контексты и синтаксические моноиды
Нет описания правки
м-10
Интерпретация булевых формул с кванторами как игр для двух игроков
Нет описания правки
м-80
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
м+2
Недетерминированные конечные автоматы
Алгоритм, определяющий допустимость автоматом слова
м-418
Недетерминированные конечные автоматы
Алгоритм, определяющий допустимость автоматом слова
м-48
Недетерминированные конечные автоматы
Нет описания правки
м+8
Регулярные языки: два определения и их эквивалентность
Регулярные языки: два определения и их эквивалентность
м-62
Регулярные языки: два определения и их эквивалентность
Регулярные языки: два определения и их эквивалентность
м+12
9 ноября 2011
Удаление бесполезных символов из грамматики
Алгоритм удаления бесполезных нетерминалов
м+6
Удаление бесполезных символов из грамматики
Полезные и бесполезные нетерминалы
м-2
Удаление бесполезных символов из грамматики
Порождающие и непорождающие нетерминалы
м-1
7 ноября 2011
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Нет описания правки
м+300
Удаление цепных правил из грамматики
Алгоритм
м+44
Удаление цепных правил из грамматики
Постановка задачи
мУдаление длинных правил из грамматики
Постановка задачи
м+1
Удаление цепных правил из грамматики
Нет описания правки
м+494
Удаление цепных правил из грамматики
Алгоритм
м+48
Удаление цепных правил из грамматики
Нет описания правки
м-9
Удаление длинных правил из грамматики
Алгоритм
м+14
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Корректность алгоритма
м+1
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Корректность алгоритма
м+1
Удаление длинных правил из грамматики
Пример работы
м-1
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Алгоритм
м+2
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Пример
м+116
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Нет описания правки
м+32
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Определения
м+53
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Определения
+304
6 ноября 2011
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Алгоритм
мМинимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Корректность алгоритма
м+1
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Корректность алгоритма
м+1
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Определения
м-13
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Источники
м-2
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Источники
м-3
