Вклад участника
23 января 2012
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
+5
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
+3
Правоконтекстные грамматики, эквивалентность автоматам
Нет описания правки
-17
22 января 2012
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Нет описания правки
+4
Иерархия Хомского формальных грамматик
Распознавание
+8
Иерархия Хомского формальных грамматик
Класс 1
+1
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Примеры
+2
Недетерминированные конечные автоматы
Язык автомата
-11
20 января 2012
29 декабря 2011
20 декабря 2011
19 декабря 2011
18 декабря 2011
Обсуждение:Характеристика перечислимых множеств через вычислимые функции
Нет описания правки
+47
Теория формальных языков
Теория вычислимости
+44
Обсуждение:Характеристика перечислимых множеств через вычислимые функции
Новая страница: «Претензия по сути: отсутствует доказательство 3 <tex>\Rightarrow</tex> 2. По оформлению претензий мн...»
15 декабря 2011
Обсуждение:Разрешимые (рекурсивные) языки
Нет описания правки
-8
Обсуждение:Разрешимые (рекурсивные) языки
Нет описания правки
+3
Обсуждение:Разрешимые (рекурсивные) языки
Нет описания правки
+549
6 декабря 2011
4 декабря 2011
Обсуждение:Детерминированные автоматы с магазинной памятью, допуск по пустому стеку
Нет описания правки
+123
Обсуждение:Детерминированные автоматы с магазинной памятью, допуск по пустому стеку
Новая страница: «А вот тут придираться буду, хоть и по мелочам. В формулировке теоремы "тогда и только тогда"...»
Обсуждение:Детерминированные автоматы с магазинной памятью
Новая страница: «Сама удивляюсь, но мне вроде все нравится. Алёна Бережковская»
Обсуждение:Алгоритм Эрли
Нет описания правки
+277
2 декабря 2011
30 ноября 2011
Участник:Berezhkovskaya
Новая страница: «Мои контакты: * e-mail: berezhkovskaya@gmail.com * skype: alenaberezh»
Обсуждение:Устранение левой рекурсии
Нет описания правки
+176
16 ноября 2011
8 ноября 2011
7 ноября 2011
Обсуждение:Нормальная форма Хомского
Рома негодуе
+817
Обсуждение:Удаление цепных правил из грамматики
Нет описания правки
+319
Обсуждение:Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Нет описания правки
+12
Обсуждение:Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Нет описания правки
+105
Обсуждение:Удаление цепных правил из грамматики
Нет описания правки
+121
Обсуждение:Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
+524
Обсуждение:Удаление цепных правил из грамматики
Новая страница: «Все хорошо, кроме мелких косяков. В формулировке теоремы хочется ссылку на статью о КС-гра...»
6 ноября 2011
Обсуждение:Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Новая страница: «Надеюсь, гном это проверит? Пунктуационных ошибок от меня и до заката... А так вроде нормаль...»
Обсуждение:Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Новая страница: «== Содержание == Алгоритм похож на правильный, но понять его очень сложно, текст не особо свя...»
5 ноября 2011
3 ноября 2011
Обсуждение:Нормальная форма Хомского
Нет описания правки
+59
Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+260
Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах
Новая страница: «Вроде все нормально. Алёна.»
Обсуждение:Удаление длинных правил из грамматики
Новая страница: «Лично мне вполне нравится, хотя местами забыты точки в конце предложений, но это пусть гно...»
