Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 05:14, 23 января 2012 (разн. | история) . . (0) . . Лемма Огдена
- 04:59, 23 января 2012 (разн. | история) . . (-3) . . Примеры неразрешимых задач: однозначность грамматики
- 04:52, 23 января 2012 (разн. | история) . . (+137) . . Примеры неразрешимых задач: однозначность грамматики
- 01:53, 23 января 2012 (разн. | история) . . (0) . . Удаление бесполезных символов из грамматики (→Достижимые и недостижимые нетерминалы)
- 01:35, 23 января 2012 (разн. | история) . . (+5) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:29, 23 января 2012 (разн. | история) . . (-19) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:25, 23 января 2012 (разн. | история) . . (+18) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:23, 23 января 2012 (разн. | история) . . (+5) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:23, 23 января 2012 (разн. | история) . . (+3) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:18, 23 января 2012 (разн. | история) . . (-17) . . Правоконтекстные грамматики, эквивалентность автоматам
- 23:45, 22 января 2012 (разн. | история) . . (+4) . . Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
- 21:12, 22 января 2012 (разн. | история) . . (+8) . . Иерархия Хомского формальных грамматик (→Распознавание)
- 21:12, 22 января 2012 (разн. | история) . . (+1) . . Иерархия Хомского формальных грамматик (→Класс 1)
- 21:10, 22 января 2012 (разн. | история) . . (+2) . . Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (→Примеры)
- 00:26, 22 января 2012 (разн. | история) . . (-11) . . Недетерминированные конечные автоматы (→Язык автомата)
- 18:23, 20 января 2012 (разн. | история) . . (+999) . . Н Обсуждение:Теорема о рекурсии (Новая страница: «Ладно, по сути претензий вроде нет, но вот оформление... Пожалуйста, расставь знаки препина...»)
- 01:55, 29 декабря 2011 (разн. | история) . . (+681) . . Н Обсуждение:Стековые машины, эквивалентность двухстековой машины МТ (Новая страница: «Два момента бросаются в глаза сразу же: во-первых, кусок текста справа от рисунка выглядит ...») (текущая)
- 04:02, 20 декабря 2011 (разн. | история) . . (+97) . . Обсуждение:Характеристика перечислимых множеств через вычислимые функции (текущая)
- 05:39, 19 декабря 2011 (разн. | история) . . (+689) . . Обсуждение:Характеристика перечислимых множеств через вычислимые функции
- 23:23, 18 декабря 2011 (разн. | история) . . (+47) . . Обсуждение:Характеристика перечислимых множеств через вычислимые функции
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)