Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 16:58, 24 января 2012 (разн. | история) . . (+230) . . Нормальная форма Хомского
- 16:35, 24 января 2012 (разн. | история) . . (+4) . . Удаление длинных правил из грамматики
- 16:23, 24 января 2012 (разн. | история) . . (+4) . . Удаление цепных правил из грамматики
- 16:18, 24 января 2012 (разн. | история) . . (-2) . . Удаление eps-правил из грамматики
- 16:08, 24 января 2012 (разн. | история) . . (+123) . . Удаление бесполезных символов из грамматики
- 21:50, 23 января 2012 (разн. | история) . . (+74) . . Решение уравнений в регулярных выражениях
- 21:12, 23 января 2012 (разн. | история) . . (+302) . . Доказательство нерегулярности языков: лемма о разрастании
- 20:16, 23 января 2012 (разн. | история) . . (-42) . . Прямое произведение ДКА
- 20:14, 23 января 2012 (разн. | история) . . (+11) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
- 19:55, 23 января 2012 (разн. | история) . . (-5801) . . Эквивалентность состояний ДКА
- 19:52, 23 января 2012 (разн. | история) . . (-109) . . Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
- 19:37, 23 января 2012 (разн. | история) . . (-1825) . . Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
- 19:31, 23 января 2012 (разн. | история) . . (+39) . . Эквивалентность состояний ДКА
- 19:23, 23 января 2012 (разн. | история) . . (+48) . . Эквивалентность состояний ДКА
- 19:11, 23 января 2012 (разн. | история) . . (+4) . . Теорема Клини (совпадение классов автоматных и регулярных языков)
- 19:09, 23 января 2012 (разн. | история) . . (-15) . . Автоматы с eps-переходами. Eps-замыкание
- 19:03, 23 января 2012 (разн. | история) . . (+332) . . Обсуждение:Построение по НКА эквивалентного ДКА, алгоритм Томпсона (→Псевдокод алгоритма немного странный: Новая тема)
- 18:26, 23 января 2012 (разн. | история) . . (+10) . . Детерминированные конечные автоматы
- 18:14, 23 января 2012 (разн. | история) . . (+5) . . Регулярные языки: два определения и их эквивалентность
- 18:05, 23 января 2012 (разн. | история) . . (+13) . . Регулярные языки: два определения и их эквивалентность
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)