Вклад участника
22 января 2012
11 ноября 2011
Иерархия Хомского формальных грамматик
Нет описания правки
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
Обсуждение:Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)
Очень сложно: Новая тема
+363
Обсуждение:Регулярные языки: два определения и их эквивалентность
Нет описания правки
-29
Обсуждение:Регулярные языки: два определения и их эквивалентность
Нет описания правки
+29
Обсуждение:Регулярные языки: два определения и их эквивалентность
Язык и множество языков: Новая тема
+351
Обсуждение:Операции над языками: теоретико-множественные операции, конкатенация, замыкание Клини
Вандалы отаке
Обсуждение:Замкнутость регулярных языков относительно различных операций
Вандалы отаке
Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах
Вандалы отаке: Новая тема
+451
7 ноября 2011
Обсуждение:Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Нет описания правки
+218
Регулярные языки: два определения и их эквивалентность
Нет описания правки
+11
Регулярные языки: два определения и их эквивалентность
Нет описания правки
+6
Обсуждение:Нормальная форма Хомского
Нет описания правки
+954
Обсуждение:Нормальная форма Хомского
Нет описания правки
+86
Обсуждение:Нормальная форма Хомского
Нет описания правки
+932
2 ноября 2011
24 января 2011
22 января 2011
11 января 2011
Функциональный анализ
Нет описания правки
+79
Функциональный анализ
Нет описания правки
-7
Функциональный анализ
Нет описания правки
-3
Функциональный анализ
Нет описания правки
+436
9 января 2011
Функциональный анализ
Нет описания правки
+774
Функциональный анализ
Нет описания правки
+841
Функциональный анализ
Нет описания правки
+133
Функциональный анализ
Нет описания правки
+3174
8 января 2011
7 января 2011
6 января 2011
Функциональный анализ
Нет описания правки
+1213
Функциональный анализ
Нет описания правки
+199
Функциональный анализ
Нет описания правки
+1221
Функциональный анализ
Нет описания правки
+902
Заглавная страница
Нет описания правки
+3
3 декабря 2010
1 декабря 2010
Неотделимые множества
Нет описания правки
+46
Неотделимые множества
Нет описания правки
Неотделимые множества
Нет описания правки
+580
Неотделимые множества
Нет описания правки
+183
Неотделимые множества
Нет описания правки
+124
Неотделимые множества
Нет описания правки
+420
Неотделимые множества
Нет описания правки
-29
Неотделимые множества
Нет описания правки
+996
30 ноября 2010
Неотделимые множества
Нет описания правки
+3
Неотделимые множества
Нет описания правки
+570
Неотделимые множества
Нет описания правки
+291
Неотделимые множества
Нет описания правки
+71
Неотделимые множества
Новая страница: «{{Лемма |statement= Существует вычислимая функция, не имеющая всюду определенного вычислимого …»