Вклад участника

Байдаров Андрей

9 апреля 2012

Бинарное отношение
Нет описания правки
м
01:18
+12

2 апреля 2012

23 января 2012

Автоматы с eps-переходами. Eps-замыкание
‎Автоматы с \varepsilon-переходами
м
21:22
-3
Автоматы с eps-переходами. Eps-замыкание
‎Совпадение множеств языков, допускаемых eps-НКА и ДКА
м
21:21
+32
Автоматы с eps-переходами. Eps-замыкание
‎Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание
м
21:21
+32
Автоматы с eps-переходами. Eps-замыкание
‎Автоматы с eps-переходами
м
21:20
+32
Автоматы с eps-переходами. Eps-замыкание
‎Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание
м
21:00
+5
Детерминированные автоматы с магазинной памятью
Нет описания правки
м
20:56
+40
Устранение левой рекурсии
Нет описания правки
м
20:53
+12
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Нет описания правки
м
19:54
+2

12 декабря 2011

Удаление eps-правил из грамматики
‎Алгоритм поиска ε-порождающих нетерминалов
м
07:59
-1

Вклад участника

Байдаров Андрей

9 апреля 2012

Бинарное отношение

2 апреля 2012

Теорема Махэни

Теорема Махэни

Теорема Махэни

Теорема Махэни

23 января 2012

Автоматы с eps-переходами. Eps-замыкание

Автоматы с eps-переходами. Eps-замыкание

Автоматы с eps-переходами. Eps-замыкание

Автоматы с eps-переходами. Eps-замыкание

Автоматы с eps-переходами. Eps-замыкание

Детерминированные автоматы с магазинной памятью

Устранение левой рекурсии

Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками

12 декабря 2011

Удаление eps-правил из грамматики

9 декабря 2011

Формальные грамматики

Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)

Теорема Клини (совпадение классов автоматных и регулярных языков)

8 декабря 2011

Эквивалентность состояний ДКА

Недетерминированные конечные автоматы

Недетерминированные конечные автоматы

Контексты и синтаксические моноиды

Интерпретация булевых формул с кванторами как игр для двух игроков

Доказательство нерегулярности языков: лемма о разрастании

Недетерминированные конечные автоматы

Недетерминированные конечные автоматы

Недетерминированные конечные автоматы

Регулярные языки: два определения и их эквивалентность

Регулярные языки: два определения и их эквивалентность

9 ноября 2011

Удаление бесполезных символов из грамматики

Удаление бесполезных символов из грамматики

Удаление бесполезных символов из грамматики

7 ноября 2011

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

Удаление цепных правил из грамматики

Удаление цепных правил из грамматики

Удаление длинных правил из грамматики

Удаление цепных правил из грамматики

Удаление цепных правил из грамматики

Удаление цепных правил из грамматики

Удаление длинных правил из грамматики

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

Удаление длинных правил из грамматики

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

Построение по НКА эквивалентного ДКА, алгоритм Томпсона

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

6 ноября 2011

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

Навигация

Поиск