Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 22:02, 18 января 2012 (разн. | история) . . (+323) . . Алгоритм Эрли (Добил доказательство, уф.)
- 20:27, 18 января 2012 (разн. | история) . . (+151) . . Алгоритм Эрли (Быстрофикс по результатам обдумывания во сне)
- 11:40, 18 января 2012 (разн. | история) . . (-206) . . M-сводимость (Да ни у кого больше нет таких проблем с логикой, зачем это здесь?)
- 11:35, 18 января 2012 (разн. | история) . . (+3) . . Алгоритм Эрли (Первая половина доказательства в порядке)
- 11:22, 18 января 2012 (разн. | история) . . (0) . . Алгоритм Эрли (Обозначения)
- 11:11, 18 января 2012 (разн. | история) . . (-6) . . Алгоритм Эрли (Не теряю надежду)
- 11:02, 18 января 2012 (разн. | история) . . (0) . . Алгоритм Эрли (Пытаюсь привести в порядок буквы. Испытываю острую потребность УБИВАТЬ.)
- 10:22, 18 января 2012 (разн. | история) . . (-56) . . Алгоритм Эрли (Теорема о корректности: формулировка и оформление)
- 09:29, 18 января 2012 (разн. | история) . . (-317) . . Алгоритм Эрли (Алгоритм в читабельном виде)
- 09:14, 18 января 2012 (разн. | история) . . (+528) . . Алгоритм Эрли (Полезное свойство списка разбора. Скоро будет алгоритм Эрли.)
- 08:06, 18 января 2012 (разн. | история) . . (-87) . . Алгоритм Эрли (→Определения)
- 07:33, 18 января 2012 (разн. | история) . . (+114) . . Обсуждение:M-сводимость
- 07:33, 18 января 2012 (разн. | история) . . (+1108) . . Обсуждение:M-сводимость
- 10:51, 17 января 2012 (разн. | история) . . (+490) . . Обсуждение:Регулярные языки: два определения и их эквивалентность (текущая)
- 10:29, 17 января 2012 (разн. | история) . . (+456) . . Обсуждение:M-сводимость
- 10:12, 17 января 2012 (разн. | история) . . (-1) . . м Замкнутость регулярных языков относительно различных операций
- 10:05, 17 января 2012 (разн. | история) . . (+245) . . Замкнутость регулярных языков относительно различных операций (Произведение автоматов на радость Роме)
- 09:59, 17 января 2012 (разн. | история) . . (+1076) . . Н Прямое произведение ДКА (Новая страница: «{{Определение |definition= '''Прямым произведением''' двух [[Детерминированные конечные автоматы|...»)
- 09:42, 17 января 2012 (разн. | история) . . (+50) . . Теория формальных языков (На радость Роме)
- 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-правил из грамматики
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
