Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 09:37, 17 января 2012 (разн. | история) . . (+111) . . Обсуждение:Замкнутость регулярных языков относительно различных операций (→Вандалы отаке) (текущая)
- 09:20, 17 января 2012 (разн. | история) . . (+555) . . Контексты и синтаксические моноиды (→Правый контекст: : лемма)
- 08:19, 17 января 2012 (разн. | история) . . (+38) . . м Теорема Клини (совпадение классов автоматных и регулярных языков)
- 08:17, 17 января 2012 (разн. | история) . . (-36) . . Теорема Клини (совпадение классов автоматных и регулярных языков) (Серьёзно, кому интересны эти обозначения?)
- 04:24, 25 декабря 2011 (разн. | история) . . (+56) . . м K-связность (Дарю)
- 04:22, 25 декабря 2011 (разн. | история) . . (+207) . . Обсуждение:M-сводимость
- 04:22, 25 декабря 2011 (разн. | история) . . (+17) . . м M-сводимость (Так правильнее)
- 04:21, 25 декабря 2011 (разн. | история) . . (+237) . . Н Шаблон:Заголовок со строчной буквы (Новая страница: «{{DISPLAYTITLE:{{#if:{{NAMESPACE}}|{{NAMESPACE}}:|}}{{lcfirst:{{PAGENAME}}}}}}<noinclude>{{doc-inline}} Шаблон делает первую букву загол...») (текущая)
- 04:19, 25 декабря 2011 (разн. | история) . . (+57) . . Обсуждение:M-сводимость
- 04:19, 25 декабря 2011 (разн. | история) . . (+142) . . Обсуждение:M-сводимость
- 04:18, 25 декабря 2011 (разн. | история) . . (+40) . . м M-сводимость
- 04:11, 25 декабря 2011 (разн. | история) . . (+28) . . Теория формальных языков (→Теория вычислимости)
- 04:09, 25 декабря 2011 (разн. | история) . . (+580) . . Н Обсуждение:M-сводимость (Новая страница: «Заголовок надо написать с маленькой буквы. Тому, кто сможет это нормально сделать, — приз. ...»)
- 06:30, 17 декабря 2011 (разн. | история) . . (+196) . . Н Обсуждение:Диагональный метод (Новая страница: «Где-то я уже видел точно так же неправильно оформленную ссылку на источник… ~~~»)
- 06:26, 17 декабря 2011 (разн. | история) . . (+281) . . Обсуждение:Разрешимые (рекурсивные) языки (текущая)
- 06:21, 17 декабря 2011 (разн. | история) . . (+62) . . м Удаление eps-правил из грамматики
- 06:21, 17 декабря 2011 (разн. | история) . . (+34) . . м Удаление eps-правил из грамматики (→Алгоритм удаления ε-правил из грамматики)
- 06:12, 17 декабря 2011 (разн. | история) . . (0) . . м Удаление eps-правил из грамматики (→Алгоритм удаления ε-правил из грамматики)
- 01:17, 12 декабря 2011 (разн. | история) . . (-19) . . м Удаление eps-правил из грамматики
- 00:10, 12 декабря 2011 (разн. | история) . . (+3) . . Удаление eps-правил из грамматики (→Алгоритм поиска ε-порождающих нетерминалов)
- 00:03, 12 декабря 2011 (разн. | история) . . (-377) . . Удаление eps-правил из грамматики (→Алгоритм удаления ε-правил из грамматики)
- 23:01, 11 декабря 2011 (разн. | история) . . (+23) . . м Удаление eps-правил из грамматики (→Алгоритм удаления ε-правил из грамматики)
- 18:31, 10 декабря 2011 (разн. | история) . . (-83) . . Обсуждение:Лемма Огдена (текущая)
- 21:38, 7 декабря 2011 (разн. | история) . . (+1710) . . Обсуждение:Алгоритм Эрли
- 21:30, 7 декабря 2011 (разн. | история) . . (+8) . . Алгоритм Эрли
- 21:19, 7 декабря 2011 (разн. | история) . . (+16) . . Алгоритм Эрли (→Определения)
- 21:15, 7 декабря 2011 (разн. | история) . . (+242) . . Алгоритм Эрли
- 20:30, 7 декабря 2011 (разн. | история) . . (+428) . . Обсуждение:Удаление eps-правил из грамматики (→Теорема про удаление) (текущая)
- 06:47, 7 декабря 2011 (разн. | история) . . (-47) . . Удаление eps-правил из грамматики
- 06:47, 7 декабря 2011 (разн. | история) . . (+1765) . . Обсуждение:Удаление eps-правил из грамматики
- 06:23, 7 декабря 2011 (разн. | история) . . (+1751) . . Обсуждение:Удаление eps-правил из грамматики
- 06:16, 7 декабря 2011 (разн. | история) . . (+54) . . Удаление eps-правил из грамматики (→Алгоритм поиска ε-порождающих нетерминалов)
- 20:02, 6 декабря 2011 (разн. | история) . . (0) . . м Удаление eps-правил из грамматики
- 23:57, 5 декабря 2011 (разн. | история) . . (-2) . . м Алгоритм Фарака-Колтона и Бендера (Нафиг пробел добавили? — Отмена правки 10280 участника 192.168.0.2 (обсуждение))
- 23:31, 5 декабря 2011 (разн. | история) . . (+2242) . . Обсуждение:Удаление eps-правил из грамматики
- 23:30, 5 декабря 2011 (разн. | история) . . (-20) . . м Удаление eps-правил из грамматики
- 23:29, 5 декабря 2011 (разн. | история) . . (-679) . . Удаление eps-правил из грамматики
- 22:32, 5 декабря 2011 (разн. | история) . . (+110) . . Обсуждение:Удаление eps-правил из грамматики
- 00:35, 5 декабря 2011 (разн. | история) . . (-1) . . м Теория формальных языков
- 09:09, 4 декабря 2011 (разн. | история) . . (+120) . . Обсуждение:Алгоритм Эрли
- 07:51, 4 декабря 2011 (разн. | история) . . (+5) . . Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ
- 07:39, 4 декабря 2011 (разн. | история) . . (+37) . . Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ
- 02:05, 30 ноября 2011 (разн. | история) . . (+169) . . Обсуждение:Устранение левой рекурсии
- 04:21, 18 ноября 2011 (разн. | история) . . (+482) . . Н Обсуждение:Удаление eps-правил из грамматики (Новая страница: «Приведи в порядок списки (они должны быть нормальные, как везде, а не через жопу). Положи на ...»)
- 06:57, 10 ноября 2011 (разн. | история) . . (+124) . . Обсуждение:Формальные грамматики (→ToDo)
- 06:16, 10 ноября 2011 (разн. | история) . . (+207) . . Обсуждение:Формальные грамматики
- 06:14, 10 ноября 2011 (разн. | история) . . (+906) . . Обсуждение:Формальные грамматики
- 21:10, 9 ноября 2011 (разн. | история) . . (+7) . . м Обсуждение:Формальные грамматики
- 21:05, 9 ноября 2011 (разн. | история) . . (+91) . . Обсуждение:Доказательство нерегулярности языков: лемма о разрастании
- 08:38, 9 ноября 2011 (разн. | история) . . (-31) . . Участник:Kirelagin/Оформление (→Теоремы)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
