Вклад участника
21 января 2012
Замкнутость регулярных языков относительно различных операций
Нет описания правки
+17
Конкурс для более удачного URL сайта вики-конспектов
Нет описания правки
+172
20 января 2012
M-сводимость
Нет описания правки
-1
M-сводимость
Нет описания правки
-111
Обсуждение:Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
+855
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Время работы для однозначной грамматики
+2
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Время работы для однозначной грамматики
+9
Алгоритм Эрли
Ссылки на правила так выглядят лучше
+78
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Время работы для однозначной грамматики
мАлгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Время работы для однозначной грамматики
+309
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Алгоритм
-53
Алгоритм Эрли
Алгоритм Эрли
+59
19 января 2012
Теория формальных языков
Отмена правки 15862 участника 192.168.0.2 (обсуждение)
+256
Обсуждение:M-сводимость
Нет описания правки
+372
M-сводимость
Нет описания правки
+33
Алгоритм Эрли
Отмена правки 17349 участника Kirelagin (обсуждение)
-82
Алгоритм Эрли
Отмена правки 17355 участника Kirelagin (обсуждение)
+1
Алгоритм Эрли
Это я, конечно, погорячился =(
-1
Алгоритм Эрли
А вот и нет
-2
Алгоритм Эрли
Нет описания правки
м+14
Алгоритм Эрли
Заоптимизировал алгоритм (критично для однозначных грамматик), ничего не сломав с точки зрения доказательств
+82
Алгоритм Эрли
Нет описания правки
м-70
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Время работы для однозначной грамматики: — упростил первый случай
-369
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Доказательство второго пункта леммы
+97
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
-104
Обсуждение:Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
+999
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Улучшил оформление доказательства второй леммы, но оно всё ещё неправильное
-238
Обсуждение:Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Новая страница: «В доказательстве второй леммы ЛПП. ~~~»
Алгоритм Эрли
Косяк с именами переменных
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Время работы для однозначной грамматики
м+3
Обсуждение:Алгоритм Эрли
Нет описания правки
+158
18 января 2012
Алгоритм Эрли
Пример
-468
Алгоритм Эрли
Добил доказательство, уф.
+323
Алгоритм Эрли
Быстрофикс по результатам обдумывания во сне
+151
M-сводимость
Да ни у кого больше нет таких проблем с логикой, зачем это здесь?
-206
Алгоритм Эрли
Первая половина доказательства в порядке
+3
Алгоритм Эрли
Обозначения
Алгоритм Эрли
Не теряю надежду
-6
Алгоритм Эрли
Пытаюсь привести в порядок буквы. Испытываю острую потребность УБИВАТЬ.
Алгоритм Эрли
Теорема о корректности: формулировка и оформление
-56
Алгоритм Эрли
Алгоритм в читабельном виде
-317
Алгоритм Эрли
Полезное свойство списка разбора. Скоро будет алгоритм Эрли.
+528
Алгоритм Эрли
Определения
-87
Обсуждение:M-сводимость
Нет описания правки
+114
Обсуждение:M-сводимость
Нет описания правки
+1108
17 января 2012
Обсуждение:Регулярные языки: два определения и их эквивалентность
Нет описания правки
+490
Обсуждение:M-сводимость
Нет описания правки
+456
Замкнутость регулярных языков относительно различных операций
Нет описания правки
м-1
Замкнутость регулярных языков относительно различных операций
Произведение автоматов на радость Роме
+245
Прямое произведение ДКА
Новая страница: «{{Определение |definition= '''Прямым произведением''' двух [[Детерминированные конечные автоматы|...»
