Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 14:51, 2 апреля 2012 (разн. | история) . . (+1418) . . м Теорема Махэни
- 00:41, 2 апреля 2012 (разн. | история) . . (+260) . . м Теорема Махэни
- 00:35, 2 апреля 2012 (разн. | история) . . (0) . . м Теорема Махэни
- 00:35, 2 апреля 2012 (разн. | история) . . (+349) . . м Теорема Махэни
- 21:22, 23 января 2012 (разн. | история) . . (-3) . . м Автоматы с eps-переходами. Eps-замыкание (→Автоматы с \varepsilon-переходами)
- 21:21, 23 января 2012 (разн. | история) . . (+32) . . м Автоматы с eps-переходами. Eps-замыкание (→Совпадение множеств языков, допускаемых eps-НКА и ДКА)
- 21:21, 23 января 2012 (разн. | история) . . (+32) . . м Автоматы с eps-переходами. Eps-замыкание (→Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание)
- 21:20, 23 января 2012 (разн. | история) . . (+32) . . м Автоматы с eps-переходами. Eps-замыкание (→Автоматы с eps-переходами)
- 21:00, 23 января 2012 (разн. | история) . . (+5) . . м Автоматы с eps-переходами. Eps-замыкание (→Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание)
- 20:56, 23 января 2012 (разн. | история) . . (+40) . . м Детерминированные автоматы с магазинной памятью
- 20:53, 23 января 2012 (разн. | история) . . (+12) . . м Устранение левой рекурсии
- 19:54, 23 января 2012 (разн. | история) . . (+2) . . м Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
- 07:59, 12 декабря 2011 (разн. | история) . . (-1) . . м Удаление eps-правил из грамматики (→Алгоритм поиска ε-порождающих нетерминалов)
- 09:53, 9 декабря 2011 (разн. | история) . . (+8) . . м Формальные грамматики
- 09:42, 9 декабря 2011 (разн. | история) . . (+44) . . м Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов) (→Пустота)
- 09:39, 9 декабря 2011 (разн. | история) . . (+33) . . м Теорема Клини (совпадение классов автоматных и регулярных языков)
- 06:11, 8 декабря 2011 (разн. | история) . . (+1) . . м Эквивалентность состояний ДКА
- 04:00, 8 декабря 2011 (разн. | история) . . (+52) . . м Недетерминированные конечные автоматы (→Алгоритм)
- 03:54, 8 декабря 2011 (разн. | история) . . (+16) . . м Недетерминированные конечные автоматы (→Язык автомата)
- 03:46, 8 декабря 2011 (разн. | история) . . (-10) . . м Контексты и синтаксические моноиды
- 03:30, 8 декабря 2011 (разн. | история) . . (-80) . . м Интерпретация булевых формул с кванторами как игр для двух игроков
- 01:51, 8 декабря 2011 (разн. | история) . . (+2) . . м Доказательство нерегулярности языков: лемма о разрастании
- 01:36, 8 декабря 2011 (разн. | история) . . (-418) . . м Недетерминированные конечные автоматы (→Алгоритм, определяющий допустимость автоматом слова)
- 01:21, 8 декабря 2011 (разн. | история) . . (-48) . . м Недетерминированные конечные автоматы (→Алгоритм, определяющий допустимость автоматом слова)
- 01:07, 8 декабря 2011 (разн. | история) . . (+8) . . м Недетерминированные конечные автоматы
- 00:56, 8 декабря 2011 (разн. | история) . . (-62) . . м Регулярные языки: два определения и их эквивалентность (→Регулярные языки: два определения и их эквивалентность)
- 00:47, 8 декабря 2011 (разн. | история) . . (+12) . . м Регулярные языки: два определения и их эквивалентность (→Регулярные языки: два определения и их эквивалентность)
- 05:03, 9 ноября 2011 (разн. | история) . . (+6) . . м Удаление бесполезных символов из грамматики (→Алгоритм удаления бесполезных нетерминалов)
- 04:58, 9 ноября 2011 (разн. | история) . . (-2) . . м Удаление бесполезных символов из грамматики (→Полезные и бесполезные нетерминалы)
- 04:53, 9 ноября 2011 (разн. | история) . . (-1) . . м Удаление бесполезных символов из грамматики (→Порождающие и непорождающие нетерминалы)
- 07:13, 7 ноября 2011 (разн. | история) . . (+300) . . м Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
- 07:08, 7 ноября 2011 (разн. | история) . . (+44) . . м Удаление цепных правил из грамматики (→Алгоритм)
- 07:05, 7 ноября 2011 (разн. | история) . . (0) . . м Удаление цепных правил из грамматики (→Постановка задачи)
- 07:04, 7 ноября 2011 (разн. | история) . . (+1) . . м Удаление длинных правил из грамматики (→Постановка задачи)
- 07:04, 7 ноября 2011 (разн. | история) . . (+494) . . м Удаление цепных правил из грамматики
- 06:40, 7 ноября 2011 (разн. | история) . . (+48) . . м Удаление цепных правил из грамматики (→Алгоритм)
- 06:36, 7 ноября 2011 (разн. | история) . . (-9) . . м Удаление цепных правил из грамматики
- 04:04, 7 ноября 2011 (разн. | история) . . (+14) . . м Удаление длинных правил из грамматики (→Алгоритм)
- 04:01, 7 ноября 2011 (разн. | история) . . (+1) . . м Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний (→Корректность алгоритма)
- 03:58, 7 ноября 2011 (разн. | история) . . (+1) . . м Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний (→Корректность алгоритма)
- 03:58, 7 ноября 2011 (разн. | история) . . (-1) . . м Удаление длинных правил из грамматики (→Пример работы)
- 03:47, 7 ноября 2011 (разн. | история) . . (+2) . . м Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний (→Алгоритм)
- 00:47, 7 ноября 2011 (разн. | история) . . (+116) . . м Построение по НКА эквивалентного ДКА, алгоритм Томпсона (→Пример)
- 00:27, 7 ноября 2011 (разн. | история) . . (+32) . . м Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
- 00:22, 7 ноября 2011 (разн. | история) . . (+53) . . м Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний (→Определения)
- 00:12, 7 ноября 2011 (разн. | история) . . (+304) . . Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний (→Определения)
- 23:53, 6 ноября 2011 (разн. | история) . . (0) . . м Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний (→Алгоритм)
- 23:50, 6 ноября 2011 (разн. | история) . . (+1) . . м Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний (→Корректность алгоритма)
- 23:47, 6 ноября 2011 (разн. | история) . . (+1) . . м Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний (→Корректность алгоритма)
- 23:44, 6 ноября 2011 (разн. | история) . . (-13) . . м Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний (→Определения)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
