Вклад участника
9 ноября 2011
Участник:Kirelagin/Оформление
Теоремы
-31
Удаление бесполезных символов из грамматики
Нет описания правки
м+2
Удаление бесполезных символов из грамматики
Нет описания правки
-12
Удаление бесполезных символов из грамматики
Нет описания правки
-68
Обсуждение:Удаление бесполезных символов из грамматики
Нет описания правки
+308
Обсуждение:Удаление бесполезных символов из грамматики
Новая страница: «Последняя теорема — какая-то херня. Надо нормально сделать. ~~~»
Удаление бесполезных символов из грамматики
Нет описания правки
м
7 ноября 2011
Удаление бесполезных символов из грамматики
Прочитал первую половину
-189
Обсуждение:Нормальная форма Хомского
Нет описания правки
+994
Замкнутость регулярных языков относительно различных операций
Багфикс
+16
Замкнутость регулярных языков относительно различных операций
Нет описания правки
-198
6 ноября 2011
Детерминированные конечные автоматы
Нет описания правки
+17
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
м-3
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+1
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
-157
Приведение грамматики к ослабленной нормальной форме Грейбах
Оформление и структура. Вроде, лучше уже не получится…
-176
3 ноября 2011
Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах
Оформление — беда: Новая тема
+1101
Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+179
Детерминированные конечные автоматы
Нет описания правки
-146
2 ноября 2011
Обсуждение:Доказательство нерегулярности языков: лемма о разрастании
Новая страница: «Это чё ваще за херня в верхушке статьи? o_0 ~~~»
Детерминированные конечные автоматы
Нет описания правки
м-9
27 октября 2011
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Нет описания правки
-96
Обсуждение:Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
Нет описания правки
+267
Обсуждение:Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
Оформление обсуждения
м+1
26 октября 2011
22 октября 2011
Участник:Kirelagin/Оформление
Нет описания правки
+178
Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками
Нет описания правки
-361
21 октября 2011
Обсуждение:Adaptive precision arithmetic
Нет описания правки
+362
Участник:Kirelagin/Оформление
Алгоритмы
+7
Обсуждение участника:Kirelagin/Оформление
Псевдокод, пункт 4
+579
Участник:Kirelagin/Оформление
Нет описания правки
+252
Участник:Kirelagin/Оформление
Новая страница: «{{В разработке}} Всё описанное здесь можно коротко выразить с помощью главного правила Сту...»
Участник:Kirelagin
Нет описания правки
+114
Обсуждение:Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Нет описания правки
+174
Обсуждение:Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Нет описания правки
+854
Обсуждение:Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Новая страница: «В начале слишком много текстовой размазни. Не понятно же ничего. Надо всё это к чёрту убрат...»
20 октября 2011
Обсуждение участника:Admin
Нет описания правки
+211
Участник:Kirelagin
Новая страница: «Кирилл Елагин * [http://kirelagin.ru/ kirelagin.ru]»
Обсуждение участника:Admin
Нет описания правки
+220
17 октября 2011
14 октября 2011
24 сентября 2011
23 сентября 2011
Эквивалентность состояний ДКА
Нет описания правки
м-2
Эквивалентность состояний ДКА
Нет описания правки
м-1
Теория формальных языков
Автоматы и регулярные языки
м+1
Теорема Клини (совпадение классов автоматных и регулярных языков
переименовал «Теорема Клини (совпадение классов автоматных и регулярных языков» в «[[Теорема Клини (совпадение классов автоматных и рег�
Теорема Клини (совпадение классов автоматных и регулярных языков)
переименовал «Теорема Клини (совпадение классов автоматных и регулярных языков» в «[[Теорема Клини (совпадение классов автоматных и рег�
м
27 июня 2011
Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем
Отмена правки 8944 участника 192.168.0.2 (обсуждение)
-2
Оператор замыкания для матроидов
упс
м-6
Оператор замыкания для матроидов
Нет описания правки
м-26