Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 07:05, 21 января 2012 (разн. | история) . . (+172) . . Конкурс для более удачного URL сайта вики-конспектов
- 09:01, 20 января 2012 (разн. | история) . . (-1) . . M-сводимость
- 09:00, 20 января 2012 (разн. | история) . . (-111) . . M-сводимость
- 08:16, 20 января 2012 (разн. | история) . . (+855) . . Обсуждение:Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (текущая)
- 08:13, 20 января 2012 (разн. | история) . . (+2) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 08:12, 20 января 2012 (разн. | история) . . (+9) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 08:11, 20 января 2012 (разн. | история) . . (+78) . . Алгоритм Эрли (Ссылки на правила так выглядят лучше)
- 08:09, 20 января 2012 (разн. | история) . . (0) . . м Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 08:08, 20 января 2012 (разн. | история) . . (+309) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 07:59, 20 января 2012 (разн. | история) . . (-53) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Алгоритм)
- 07:47, 20 января 2012 (разн. | история) . . (+59) . . Алгоритм Эрли (→Алгоритм Эрли)
- 23:11, 19 января 2012 (разн. | история) . . (+256) . . Теория формальных языков (Отмена правки 15862 участника 192.168.0.2 (обсуждение))
- 23:08, 19 января 2012 (разн. | история) . . (+372) . . Обсуждение:M-сводимость
- 23:07, 19 января 2012 (разн. | история) . . (+33) . . M-сводимость
- 08:04, 19 января 2012 (разн. | история) . . (-82) . . Алгоритм Эрли (Отмена правки 17349 участника Kirelagin (обсуждение))
- 08:04, 19 января 2012 (разн. | история) . . (+1) . . Алгоритм Эрли (Отмена правки 17355 участника Kirelagin (обсуждение))
- 06:33, 19 января 2012 (разн. | история) . . (-1) . . Алгоритм Эрли (Это я, конечно, погорячился =()
- 05:12, 19 января 2012 (разн. | история) . . (-2) . . Алгоритм Эрли (А вот и нет)
- 05:04, 19 января 2012 (разн. | история) . . (+14) . . м Алгоритм Эрли
- 05:02, 19 января 2012 (разн. | история) . . (+82) . . Алгоритм Эрли (Заоптимизировал алгоритм (критично для однозначных грамматик), ничего не сломав с точки зрения доказательств)
- 04:48, 19 января 2012 (разн. | история) . . (-70) . . м Алгоритм Эрли
- 04:47, 19 января 2012 (разн. | история) . . (-369) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики: — упростил первый случай)
- 04:34, 19 января 2012 (разн. | история) . . (+97) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (Доказательство второго пункта леммы)
- 03:17, 19 января 2012 (разн. | история) . . (-104) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
- 02:41, 19 января 2012 (разн. | история) . . (+999) . . Обсуждение:Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
- 02:38, 19 января 2012 (разн. | история) . . (-238) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (Улучшил оформление доказательства второй леммы, но оно всё ещё неправильное)
- 02:23, 19 января 2012 (разн. | история) . . (+120) . . Н Обсуждение:Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (Новая страница: «В доказательстве второй леммы ЛПП. ~~~»)
- 02:00, 19 января 2012 (разн. | история) . . (0) . . Алгоритм Эрли (Косяк с именами переменных)
- 01:44, 19 января 2012 (разн. | история) . . (+3) . . м Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 00:16, 19 января 2012 (разн. | история) . . (+158) . . Обсуждение:Алгоритм Эрли (текущая)
- 23:32, 18 января 2012 (разн. | история) . . (-468) . . Алгоритм Эрли (→Пример)
- 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) . . Теория формальных языков (На радость Роме)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
