Вклад участника
21 января 2012
Существенно неоднозначные языки
Фикс русского
м+11
Интерпретация булевых формул с кванторами как игр для двух игроков
Быстрое исправление тупой баги
м-2
Интерпретация булевых формул с кванторами как игр для двух игроков
Убрано много-премного бреееееда
+391
Регулярные языки: два определения и их эквивалентность
Переработка первой части доказательства (суровая такая)
+644
Регулярные языки: два определения и их эквивалентность
Пофикшены определения
+167
17 января 2012
Регулярные языки: два определения и их эквивалентность
Изменение форматирования
м+6
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
м+19
Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
Алгоритм проверки на включение
м-2
Эквивалентность состояний ДКА
Нет описания правки
м+31
Автоматы с eps-переходами. Eps-замыкание
Совпадение множеств языков, допускаемых eps-НКА и ДКА
м+108
Автоматы с eps-переходами. Eps-замыкание
Совпадение множеств языков, допускаемых eps-НКА и ДКА
м+54
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Добавил ссылочки на ДКА и НКА
м+150
Недетерминированные конечные автоматы
Пропущенная запятая
м+1
Интерпретация булевых формул с кванторами как игр для двух игроков
Переформулировка теоремы. Теперь она, кажется, нормальная
+162
Интерпретация булевых формул с кванторами как игр для двух игроков
Интерпретация булевых формул с кванторами как игр для двух игроков
м-7
Интерпретация булевых формул с кванторами как игр для двух игроков
Фиксы в формулировках и русском языке
+182
Интерпретация булевых формул с кванторами как игр для двух игроков
ой, забыл))
м-41
Интерпретация булевых формул с кванторами как игр для двух игроков
Полностью переделано оформление + исправлено много чего в тексте
+348
Регулярные языки: два определения и их эквивалентность
Мелкие фиксы
м+12
5 января 2012
Обсуждение:Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
ToDo
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Нет описания правки
м
20 декабря 2011
19 декабря 2011
Обсуждение:Вычислимые функции
ToDo
Вычислимые функции
Нет описания правки
м+2
Обсуждение:Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
ToDoAndDoAndDo
Обсуждение:Перечислимые языки
ToDo
14 декабря 2011
9 декабря 2011
5 декабря 2011
26 ноября 2011
Обсуждение:Существенно неоднозначные языки
ToDo2
+953
Существенно неоднозначные языки
Нет описания правки
м+6
22 ноября 2011
16 ноября 2011
14 ноября 2011
Обсуждение:Недетерминированные конечные автоматы
Про баги в статье
Недетерминированные конечные автоматы
Нет описания правки
м-10
Эквивалентность состояний ДКА
Пунктуация и орфография
м+7
11 ноября 2011
Обсуждение:Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
По поводу сложности
+340
Регулярные языки: два определения и их эквивалентность
Нет описания правки
мРегулярные языки: два определения и их эквивалентность
Нет описания правки
м+1
10 ноября 2011
Формальные грамматики
Нет описания правки
м-1
Формальные грамматики
Нет описания правки
м+2
Формальные грамматики
Маленькие фиксы
м+2
9 ноября 2011
Обсуждение:Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики
Что исправить
Обсуждение:Формальные грамматики
Нет описания правки
+24
Обсуждение:Формальные грамматики
Нет описания правки
м+43
Обсуждение:Формальные грамматики
Что исправить в статье
7 ноября 2011
Регулярные языки: два определения и их эквивалентность
Мелкие фиксы
м-28
Обсуждение:Регулярные языки: два определения и их эквивалентность
Нет описания правки
+55
Регулярные языки: два определения и их эквивалентность
Убрана последняя ненужная фраза в доказательстве, пофиксено неправильное тире
м-55
Обсуждение:Регулярные языки: два определения и их эквивалентность
Баги в конспекте