Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (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) . . Обсуждение:Характеристика перечислимых множеств через вычислимые функции
- 19:24, 18 декабря 2011 (разн. | история) . . (+44) . . Теория формальных языков (→Теория вычислимости)
- 19:03, 18 декабря 2011 (разн. | история) . . (+1434) . . Н Обсуждение:Характеристика перечислимых множеств через вычислимые функции (Новая страница: «Претензия по сути: отсутствует доказательство 3 <tex>\Rightarrow</tex> 2. По оформлению претензий мн...»)
- 01:48, 15 декабря 2011 (разн. | история) . . (-8) . . Обсуждение:Разрешимые (рекурсивные) языки
- 01:47, 15 декабря 2011 (разн. | история) . . (+3) . . Обсуждение:Разрешимые (рекурсивные) языки
- 01:46, 15 декабря 2011 (разн. | история) . . (+549) . . Обсуждение:Разрешимые (рекурсивные) языки
- 04:02, 6 декабря 2011 (разн. | история) . . (+1) . . Алгоритм Эрли
- 03:49, 4 декабря 2011 (разн. | история) . . (+123) . . Обсуждение:Детерминированные автоматы с магазинной памятью, допуск по пустому стеку (текущая)
- 03:13, 4 декабря 2011 (разн. | история) . . (+560) . . Н Обсуждение:Детерминированные автоматы с магазинной памятью, допуск по пустому стеку (Новая страница: «А вот тут придираться буду, хоть и по мелочам. В формулировке теоремы "тогда и только тогда"...»)
- 03:09, 4 декабря 2011 (разн. | история) . . (+148) . . Н Обсуждение:Детерминированные автоматы с магазинной памятью (Новая страница: «Сама удивляюсь, но мне вроде все нравится. Алёна Бережковская») (текущая)
- 02:27, 4 декабря 2011 (разн. | история) . . (+277) . . Обсуждение:Алгоритм Эрли
- 18:56, 2 декабря 2011 (разн. | история) . . (+1049) . . Н Обсуждение:Алгоритм Эрли (Новая страница: «Оххх... Доказательство абсолютно нечитаемо. * Начало доказательств в обе стороны надо бы ка...»)
- 05:58, 30 ноября 2011 (разн. | история) . . (+80) . . Н Участник:Berezhkovskaya (Новая страница: «Мои контакты: * e-mail: berezhkovskaya@gmail.com * skype: alenaberezh») (текущая)
- 05:55, 30 ноября 2011 (разн. | история) . . (+176) . . Обсуждение:Устранение левой рекурсии
- 16:38, 16 ноября 2011 (разн. | история) . . (+222) . . Обсуждение:Недетерминированные конечные автоматы (→ToDo)
- 01:50, 8 ноября 2011 (разн. | история) . . (+220) . . Обсуждение:Нормальная форма Хомского
- 22:45, 7 ноября 2011 (разн. | история) . . (+817) . . Обсуждение:Нормальная форма Хомского (→Рома негодуе)
- 04:42, 7 ноября 2011 (разн. | история) . . (+319) . . Обсуждение:Удаление цепных правил из грамматики (текущая)
- 03:05, 7 ноября 2011 (разн. | история) . . (+12) . . Обсуждение:Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
- 03:04, 7 ноября 2011 (разн. | история) . . (+105) . . Обсуждение:Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
- 02:40, 7 ноября 2011 (разн. | история) . . (+121) . . Обсуждение:Удаление цепных правил из грамматики
- 02:36, 7 ноября 2011 (разн. | история) . . (+524) . . Обсуждение:Доказательство нерегулярности языков: лемма о разрастании
- 02:26, 7 ноября 2011 (разн. | история) . . (+633) . . Н Обсуждение:Удаление цепных правил из грамматики (Новая страница: «Все хорошо, кроме мелких косяков. В формулировке теоремы хочется ссылку на статью о КС-гра...»)
- 20:54, 6 ноября 2011 (разн. | история) . . (+224) . . Н Обсуждение:Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний (Новая страница: «Надеюсь, гном это проверит? Пунктуационных ошибок от меня и до заката... А так вроде нормаль...»)
- 17:06, 6 ноября 2011 (разн. | история) . . (+1115) . . Н Обсуждение:Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (Новая страница: «== Содержание == Алгоритм похож на правильный, но понять его очень сложно, текст не особо свя...»)
- 05:01, 5 ноября 2011 (разн. | история) . . (+90) . . Обсуждение:Удаление длинных правил из грамматики (текущая)
- 23:16, 3 ноября 2011 (разн. | история) . . (+59) . . Обсуждение:Нормальная форма Хомского
- 03:35, 3 ноября 2011 (разн. | история) . . (+260) . . Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах
- 03:33, 3 ноября 2011 (разн. | история) . . (+49) . . Н Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах (Новая страница: «Вроде все нормально. Алёна.»)
- 03:29, 3 ноября 2011 (разн. | история) . . (+392) . . Н Обсуждение:Удаление длинных правил из грамматики (Новая страница: «Лично мне вполне нравится, хотя местами забыты точки в конце предложений, но это пусть гно...»)
- 01:55, 27 октября 2011 (разн. | история) . . (-8) . . Нормальная форма Хомского (→Преобразование грамматики в нормальную форму Хомского)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
