Вклад участника
23 января 2012
Лемма о разрастании для КС-грамматик
Нет описания правки
+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
Алгоритм Бентли-Оттмана
Сканирующая точка
Существенно неоднозначные языки
Существенно неоднозначные языки
+3
Существенно неоднозначные языки
Существенно неоднозначные языки
+156
Существенно неоднозначные языки
Существенно неоднозначные языки
+223
Математический анализ 2 курс
Нет описания правки
+34
Существенно неоднозначные языки
Существенно неоднозначные языки
-9
Существенно неоднозначные языки
Существенно неоднозначные языки
+118
Существенно неоднозначные языки
Существенно неоднозначные языки
-1
Существенно неоднозначные языки
Существенно неоднозначные языки
+18
Существенно неоднозначные языки
Существенно неоднозначные языки
-2
Существенно неоднозначные языки
Пример:
+48
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Нет описания правки
+12
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Нет описания правки
+6
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Нет описания правки
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Пример
Конкурс для более удачного URL сайта вики-конспектов
Новая страница: «Хочется избавиться от имени mediawiki, потому что это название вики-движка . Предлагайте вариа...»
Заглавная страница
Нет описания правки
+346
20 января 2012
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
-324
Теорема о рекурсии
Нет описания правки
+64
Теорема о существовании простого цикла в случае существования цикла
Нет описания правки
+281
19 января 2012
Обсуждение:Эргодическая марковская цепь
Нет описания правки
+413
Обсуждение:Эргодическая марковская цепь
Нет описания правки
+439
Список тем
Новая страница: «===Устойчивая реализация алгоритмов вычислительной геометрии.=== * Как устроены числа с пла...»
Вычислительная геометрия
Нет описания правки
-10
Вычислительная геометрия
Нет описания правки
+36
Алгоритм Эрли
Пример
+6
Алгоритм Эрли
Корректность алгоритма
+2
