Вклад участника
24 января 2012
Нормальная форма Хомского
Нет описания правки
+44
Нормальная форма Хомского
Приведение грамматики к нормальной форме Хомского
+1366
Лемма о разрастании для КС-грамматик
Пример доказательства неконтекстно-свободности языка с использованием леммы
+74
Лемма о разрастании для КС-грамматик
Нет описания правки
+63
Лемма о разрастании для КС-грамматик
Нет описания правки
+193
Перечислимые языки
Нет описания правки
+1321
Лемма о разрастании для КС-грамматик
Нет описания правки
+74
Лемма о разрастании для КС-грамматик
Нет описания правки
+102
Лемма о разрастании для КС-грамматик
Нет описания правки
+345
23 января 2012
Лемма о разрастании для КС-грамматик
Нет описания правки
+1615
Математический анализ 1 курс
Экзамен
+68
Лемма о разрастании для КС-грамматик
Нет описания правки
+105
Лемма о разрастании для КС-грамматик
Нет описания правки
+92
Лемма о разрастании для КС-грамматик
Нет описания правки
+1197
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+2412
Свойства перечислимых языков. Теорема Успенского-Райса
Нет описания правки
+23
Свойства перечислимых языков. Теорема Успенского-Райса
Нет описания правки
-28
Свойства перечислимых языков. Теорема Успенского-Райса
Нет описания правки
-13
Свойства перечислимых языков. Теорема Успенского-Райса
Нет описания правки
+18
Лемма о разрастании для КС-грамматик
Нет описания правки
+213
Иммунные и простые множества
Нет описания правки
+24
Участник:Pashkal
Новая страница: «Pashkal, или дедушка Марат»
Вычислимые функции
Примеры вычислимых функций
-16
Примеры неразрешимых задач: проблема соответствий Поста
Нет описания правки
-1
Лемма о разрастании для КС-грамматик
Нет описания правки
+10
Лемма о разрастании для КС-грамматик
Нет описания правки
-82
Лемма о разрастании для КС-грамматик
Нет описания правки
+1
Лемма о разрастании для КС-грамматик
Нет описания правки
+284
Лемма о разрастании для КС-грамматик
Нет описания правки
-51
Лемма о разрастании для КС-грамматик
Нет описания правки
+74
Приведение грамматики к ослабленной нормальной форме Грейбах
Определение
-2
Удаление цепных правил из грамматики
Алгоритм
+51
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+12
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+4
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+297
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+1496
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Нет описания правки
-1
Предикат "левый поворот"
Нет описания правки
Конкурс для более удачного URL сайта вики-конспектов
Нет описания правки
+49
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+357
22 января 2012
Обратное преобразование Барроуза-Уиллера
Перенаправление на Преобразование Барроуза-Уиллера#Обратное преобразование
-10 643
Линейный клеточный автомат, эквивалентность МТ
Сведение к одинаковым автоматам в клетках.
+1749
Линейный клеточный автомат, эквивалентность МТ
ЛКА: определения
Конкурс для более удачного URL сайта вики-конспектов
Варианты
+70
Предел отображения в метрическом пространстве
g / y changed to g(y)
-1
21 января 2012
Удаление бесполезных символов из грамматики
Достижимые и недостижимые нетерминалы
-1
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
+2
Формальные грамматики
Определения
+3
Доказательство нерегулярности языков: лемма о разрастании
Пример доказательства с использованием леммы
+3
Детерминированные конечные автоматы
Процесс допуска
+70