Вклад участника
(новейшие | старейшие) Просмотреть (250 более новых | 250 более старых) (20 | 50 | 100 | 250 | 500)
- 18:23, 4 июня 2012 (разн. | история) . . (+116) . . Интерактивные протоколы. Класс IP. Класс AM
- 18:01, 4 июня 2012 (разн. | история) . . (-11) . . Классы NP, coNP, Σ₁, Π₁
- 16:40, 4 июня 2012 (разн. | история) . . (+19) . . Лемма о соотношении coNP и IP
- 16:16, 4 июня 2012 (разн. | история) . . (-35) . . Лемма о соотношении coNP и IP
- 15:51, 4 июня 2012 (разн. | история) . . (-40) . . Шаблон:Определение
- 15:39, 4 июня 2012 (разн. | история) . . (-97) . . Лемма о соотношении coNP и IP
- 12:33, 4 июня 2012 (разн. | история) . . (+14) . . Арифметизация булевых формул с кванторами
- 10:34, 4 июня 2012 (разн. | история) . . (0) . . Интерактивные протоколы. Класс IP. Класс AM
- 10:27, 4 июня 2012 (разн. | история) . . (0) . . м Интерактивные протоколы. Класс IP. Класс AM
- 01:01, 4 июня 2012 (разн. | история) . . (+86) . . Обсуждение:Интерактивные протоколы. Класс IP. Класс AM
- 00:52, 4 июня 2012 (разн. | история) . . (+795) . . Н Обсуждение:Интерактивные протоколы. Класс IP. Класс AM (Новая страница: «Надо написать, что V хочет установить истину. Надо расставить ссылки (например, на вероят...»)
- 00:52, 4 июня 2012 (разн. | история) . . (-79) . . Интерактивные протоколы. Класс IP. Класс AM (→Класс IP)
- 00:23, 4 июня 2012 (разн. | история) . . (-349) . . Классы RP и coRP
- 22:12, 3 июня 2012 (разн. | история) . . (+754) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?)
- 22:08, 3 июня 2012 (разн. | история) . . (+683) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Мелкие по сравнению с остальным претензии: Новая тема)
- 22:06, 3 июня 2012 (разн. | история) . . (+575) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Странное ограничение)
- 21:52, 3 июня 2012 (разн. | история) . . (+800) . . Обсуждение:Теорема Карпа — Липтона (→Новое доказательство — новые вопросы!: Новая тема)
- 16:21, 3 июня 2012 (разн. | история) . . (+141) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости (текущая)
- 16:13, 3 июня 2012 (разн. | история) . . (+1) . . м Теорема Ладнера
- 16:13, 3 июня 2012 (разн. | история) . . (+52) . . м Теорема Ладнера
- 16:11, 3 июня 2012 (разн. | история) . . (+15) . . Теорема Ладнера
- 16:10, 3 июня 2012 (разн. | история) . . (-9) . . Теорема Ладнера
- 16:07, 3 июня 2012 (разн. | история) . . (+5) . . Теорема Ладнера
- 16:02, 3 июня 2012 (разн. | история) . . (+96) . . Теорема Ладнера
- 15:27, 3 июня 2012 (разн. | история) . . (+17) . . Обсуждение:Теорема Ладнера
- 15:17, 3 июня 2012 (разн. | история) . . (+103) . . Теорема Ладнера
- 15:15, 3 июня 2012 (разн. | история) . . (-5) . . Теорема Ладнера (Отмена правки 23418 участника Kirelagin (обсуждение))
- 15:09, 3 июня 2012 (разн. | история) . . (+5) . . Теорема Ладнера
- 15:08, 3 июня 2012 (разн. | история) . . (+496) . . Обсуждение:Теорема Ладнера
- 14:54, 3 июня 2012 (разн. | история) . . (+429) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
- 13:58, 3 июня 2012 (разн. | история) . . (+11) . . Схемная сложность и класс P/poly
- 13:49, 3 июня 2012 (разн. | история) . . (0) . . Теоремы о коллапсе полиномиальной иерархии
- 13:37, 3 июня 2012 (разн. | история) . . (+313) . . Классы PH, Σ и Π
- 13:19, 3 июня 2012 (разн. | история) . . (-168) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 13:18, 3 июня 2012 (разн. | история) . . (+1186) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
- 13:15, 3 июня 2012 (разн. | история) . . (+87) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
- 13:15, 3 июня 2012 (разн. | история) . . (+234) . . Н Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости (Новая страница: «Определеньки надо бы вынести из теорем. Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline...»)
- 12:46, 3 июня 2012 (разн. | история) . . (+271) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?)
- 12:37, 3 июня 2012 (разн. | история) . . (+304) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 12:12, 3 июня 2012 (разн. | история) . . (+380) . . Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS
- 11:59, 3 июня 2012 (разн. | история) . . (+493) . . Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS (→И вот ещё немного: Новая тема)
- 11:58, 3 июня 2012 (разн. | история) . . (+43) . . Теорема Сэвича. Совпадение классов NPS и PS
- 11:52, 3 июня 2012 (разн. | история) . . (-2) . . Теорема Махэни (Да хватит уже удовлетворять формулы!)
- 11:36, 3 июня 2012 (разн. | история) . . (+6) . . Теорема Махэни (\bigm|)
- 11:20, 3 июня 2012 (разн. | история) . . (+54) . . Теорема Махэни
- 11:14, 3 июня 2012 (разн. | история) . . (+101) . . Теорема Бермана — Форчуна
- 11:06, 3 июня 2012 (разн. | история) . . (+79) . . Теорема Бермана — Форчуна
- 01:04, 3 июня 2012 (разн. | история) . . (+198) . . Теорема Махэни
- 00:58, 3 июня 2012 (разн. | история) . . (+11) . . Теорема Махэни
- 00:16, 3 июня 2012 (разн. | история) . . (+171) . . Теорема Бермана — Форчуна (БЕСИТЕ вы меня)
- 00:03, 3 июня 2012 (разн. | история) . . (+477) . . Обсуждение:Теорема Бермана — Форчуна (→Омг: Новая тема) (текущая)
- 21:53, 2 июня 2012 (разн. | история) . . (+190) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?)
- 21:51, 2 июня 2012 (разн. | история) . . (+842) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?)
- 18:18, 2 июня 2012 (разн. | история) . . (+179) . . Обсуждение:Примеры NP-полных языков. Теорема Кука (→Глобально: Новая тема) (текущая)
- 13:53, 2 июня 2012 (разн. | история) . . (-379) . . Обсуждение:Теорема Ладнера (Сам исправил)
- 13:53, 2 июня 2012 (разн. | история) . . (+1) . . Теорема Ладнера
- 13:40, 2 июня 2012 (разн. | история) . . (+336) . . Обсуждение:Теорема Ладнера
- 13:21, 2 июня 2012 (разн. | история) . . (+8) . . Теорема Ладнера (Ой, зря я сломал программы. Починил.)
- 13:12, 2 июня 2012 (разн. | история) . . (+155) . . Обсуждение:Теорема Ладнера
- 12:58, 2 июня 2012 (разн. | история) . . (-133) . . Теорема Ладнера
- 12:58, 2 июня 2012 (разн. | история) . . (+57) . . Обсуждение:Теорема Ладнера (Подписи сломались о_0)
- 12:58, 2 июня 2012 (разн. | история) . . (+1852) . . Н Обсуждение:Теорема Ладнера (Новая страница: «Есть мнение, что эту теорему надо оформить как теорему. В первой же строке явно просится ...»)
- 02:39, 1 июня 2012 (разн. | история) . . (-5) . . м Классы NC и AC (→Теоремы)
- 21:37, 31 мая 2012 (разн. | история) . . (+2) . . Теорема Левина
- 21:22, 31 мая 2012 (разн. | история) . . (+2) . . Теорема Левина
- 21:20, 31 мая 2012 (разн. | история) . . (+18) . . Теорема Левина (Байдаров всё внимательно читает и следит за тобой!)
- 21:17, 31 мая 2012 (разн. | история) . . (+1) . . м Класс P (Правки Kirelagin (обсуждение) откачены к версии 109.188.223.77)
- 21:17, 31 мая 2012 (разн. | история) . . (-1) . . м Класс P
- 21:14, 31 мая 2012 (разн. | история) . . (+306) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?: Новая тема)
- 21:08, 31 мая 2012 (разн. | история) . . (+22) . . Теорема Левина
- 20:55, 31 мая 2012 (разн. | история) . . (+40) . . Теорема Левина
- 20:47, 31 мая 2012 (разн. | история) . . (+31) . . Теорема Левина (багфикс)
- 20:23, 27 мая 2012 (разн. | история) . . (+81) . . Теорема Карпа — Липтона (Теорема)
- 20:12, 27 мая 2012 (разн. | история) . . (+1) . . Теорема Карпа — Липтона (Лемма)
- 19:50, 27 мая 2012 (разн. | история) . . (+108) . . Классы NC и AC (→Теоремы: Название тезиса)
- 19:44, 27 мая 2012 (разн. | история) . . (+53) . . Классы NC и AC (→Теоремы)
- 19:41, 27 мая 2012 (разн. | история) . . (-80) . . Шаблон:Утверждение (Идите нафиг со своим курсивом)
- 19:39, 27 мая 2012 (разн. | история) . . (+33) . . Классы NC и AC (→Теоремы: Третье)
- 19:30, 27 мая 2012 (разн. | история) . . (0) . . Классы NC и AC (→Теоремы: Вторая)
- 19:26, 27 мая 2012 (разн. | история) . . (+141) . . Классы NC и AC (→Теоремы: Первая теорема)
- 19:14, 27 мая 2012 (разн. | история) . . (+107) . . Классы NC и AC (→Определения)
- 23:49, 11 мая 2012 (разн. | история) . . (+10) . . Участник:Kirelagin/Оформление (Сделал заголовки помельче) (текущая)
- 23:46, 11 мая 2012 (разн. | история) . . (+491) . . Участник:Kirelagin/Оформление (→Теоремы: «Очевидно»)
- 23:36, 11 мая 2012 (разн. | история) . . (+244) . . Заглавная страница (Всеобщие обсуждения + обсуждение курсива в шаблоне «Определение»)
- 23:29, 11 мая 2012 (разн. | история) . . (+516) . . Обсуждение шаблона:Определение (→Курсив: Новая тема)
- 22:50, 11 мая 2012 (разн. | история) . . (+158) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Свойства сведения)
- 15:19, 11 мая 2012 (разн. | история) . . (+18) . . Теоремы о коллапсе полиномиальной иерархии (mathrm)
- 13:36, 11 мая 2012 (разн. | история) . . (-182) . . Теоремы о коллапсе полиномиальной иерархии (→Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i: i=0)
- 12:14, 9 мая 2012 (разн. | история) . . (-30) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Банальный пример сведения по Карпу)
- 12:10, 9 мая 2012 (разн. | история) . . (-34) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Определения)
- 21:56, 8 мая 2012 (разн. | история) . . (-3) . . м Теорема Левина
- 19:50, 8 мая 2012 (разн. | история) . . (-3891) . . Теорема Левина (Теорема)
- 13:16, 8 мая 2012 (разн. | история) . . (-102) . . Теоремы о коллапсе полиномиальной иерархии (→Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i)
- 13:06, 8 мая 2012 (разн. | история) . . (-231) . . Теоремы о коллапсе полиномиальной иерархии (→Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1})
- 11:57, 8 мая 2012 (разн. | история) . . (-396) . . Теоремы о коллапсе полиномиальной иерархии (Лемма)
- 11:04, 8 мая 2012 (разн. | история) . . (+6) . . Теорема Карпа — Липтона (Лемма)
- 10:58, 8 мая 2012 (разн. | история) . . (+207) . . Теорема Бейкера — Гилла — Соловэя (→Теорема: немного подправил, но всё плохо)
- 18:03, 7 мая 2012 (разн. | история) . . (0) . . Теорема Карпа — Липтона (Лемма)
- 17:40, 7 мая 2012 (разн. | история) . . (+211) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Последствия)
- 14:11, 30 апреля 2012 (разн. | история) . . (+210) . . Обсуждение:Теорема Карпа — Липтона
- 13:52, 30 апреля 2012 (разн. | история) . . (+231) . . Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
- 00:31, 30 апреля 2012 (разн. | история) . . (+2430) . . Н Обсуждение:Классы NC и AC (Теорема) (текущая)
- 23:54, 29 апреля 2012 (разн. | история) . . (+288) . . Н Обсуждение:Теорема Карпа — Липтона (Доказательство)
- 23:52, 29 апреля 2012 (разн. | история) . . (-6) . . Теорема Карпа — Липтона (Оформление и мелочи)
- 23:31, 29 апреля 2012 (разн. | история) . . (+548) . . Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
- 23:20, 29 апреля 2012 (разн. | история) . . (+208) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Последствия: Новая тема)
- 23:19, 29 апреля 2012 (разн. | история) . . (+636) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя
- 23:17, 29 апреля 2012 (разн. | история) . . (+640) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Вторая часть доказательства: Новая тема)
- 23:15, 29 апреля 2012 (разн. | история) . . (-209) . . Теорема Бейкера — Гилла — Соловэя (Вторая часть доказательства)
- 23:05, 29 апреля 2012 (разн. | история) . . (+231) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Первая часть доказательства: Новая тема)
- 23:00, 29 апреля 2012 (разн. | история) . . (-66) . . Теорема Бейкера — Гилла — Соловэя (Первая часть доказательства)
- 22:34, 29 апреля 2012 (разн. | история) . . (0) . . м Теорема Бейкера — Гилла — Соловэя (Тире в техе)
- 22:28, 29 апреля 2012 (разн. | история) . . (+398) . . Обсуждение:Теорема Бермана — Форчуна
- 00:54, 24 апреля 2012 (разн. | история) . . (+108) . . Н Обсуждение:Сложностные классы. Вычисления с оракулом (Новая страница: «ЭТО КАПЕЦ ~~~~»)
- 00:23, 24 апреля 2012 (разн. | история) . . (-16) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Банальный пример сведения по Карпу)
- 00:05, 24 апреля 2012 (разн. | история) . . (+1312) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя
- 23:55, 23 апреля 2012 (разн. | история) . . (+889) . . Н Обсуждение:Теорема Бейкера — Гилла — Соловэя (Новая страница: «Во-первых, тебе не повезло: я думал, какой бы конспект почитать, ткнул наугад и попал в тво...»)
- 23:45, 23 апреля 2012 (разн. | история) . . (+482) . . Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
- 23:44, 23 апреля 2012 (разн. | история) . . (+152) . . Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
- 23:04, 23 апреля 2012 (разн. | история) . . (+472) . . Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
- 10:32, 16 апреля 2012 (разн. | история) . . (+1047) . . Н Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁ (Новая страница: «Я опять в печали. Стало немного лучше, чем когда я смотрел в тот раз, но но всё равно довол...»)
- 20:45, 9 апреля 2012 (разн. | история) . . (-87) . . м Класс P (Правки Ulyantsev (обсуждение) откачены к версии 192.168.0.2)
- 20:33, 9 апреля 2012 (разн. | история) . . (0) . . Шаблон:Утверждение
- 20:30, 9 апреля 2012 (разн. | история) . . (-181) . . Заглавная страница
- 20:29, 9 апреля 2012 (разн. | история) . . (+210) . . Теория сложности
- 23:36, 31 марта 2012 (разн. | история) . . (0) . . м Заглавная страница (Защищена страница «Заглавная страница»: Nyan! Nyan nyan nyan! ([edit=sysop] (истекает 20:36, 1 апреля 2012 (UTC)) [move=sysop] (истекает 20:36, 1 апреля 2012 (UTC))))
- 23:31, 31 марта 2012 (разн. | история) . . (-1777) . . Заглавная страница (Nyan, nyan!)
- 23:30, 31 марта 2012 (разн. | история) . . (+9) . . Н Файл:NyanCat.png (Nyan cat!) (текущая)
- 08:52, 24 января 2012 (разн. | история) . . (+24) . . Иммунные и простые множества
- 08:34, 24 января 2012 (разн. | история) . . (-54) . . Автоматы с магазинной памятью
- 07:25, 24 января 2012 (разн. | история) . . (+60) . . Алгоритм Эрли (упс)
- 02:14, 24 января 2012 (разн. | история) . . (+2) . . м Алгоритм Эрли (→Алгоритм Эрли)
- 02:11, 24 января 2012 (разн. | история) . . (+1094) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики ((Отмена правки 17695) Ладно, хрен с тобой)
- 01:51, 24 января 2012 (разн. | история) . . (-1094) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 01:46, 24 января 2012 (разн. | история) . . (-2) . . м Хеширование (→Хеш - таблица)
- 01:38, 24 января 2012 (разн. | история) . . (+625) . . Алгоритм Эрли (→Алгоритм Эрли)
- 00:59, 24 января 2012 (разн. | история) . . (-19) . . Алгоритм Эрли (→Алгоритм Эрли)
- 00:59, 24 января 2012 (разн. | история) . . (+487) . . Алгоритм Эрли (→Алгоритм Эрли)
- 00:58, 24 января 2012 (разн. | история) . . (0) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
- 09:54, 21 января 2012 (разн. | история) . . (+40) . . Теория формальных языков
- 09:53, 21 января 2012 (разн. | история) . . (0) . . м Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (переименовал Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов в [[Основные определения: алфавит, слово, ...)
- 09:53, 21 января 2012 (разн. | история) . . (+221) . . Н Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов (переименовал Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов в [[Основные определения: алфавит, слово, ...)
- 09:01, 21 января 2012 (разн. | история) . . (-165) . . Теория формальных языков (Влито в основные определения)
- 09:00, 21 января 2012 (разн. | история) . . (+110) . . Конкурс для более удачного URL сайта вики-конспектов (→Варианты)
- 08:58, 21 января 2012 (разн. | история) . . (+216) . . Н Обсуждение:Конкурс для более удачного URL сайта вики-конспектов (Новая страница: «== Поддомен == А есть вариант заиметь поддомен и вообще избавиться от этой средней части? ~~~») (текущая)
- 08:44, 21 января 2012 (разн. | история) . . (+153) . . Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (Конкатенация с обратными)
- 07:40, 21 января 2012 (разн. | история) . . (+2) . . Замкнутость регулярных языков относительно различных операций
- 07:38, 21 января 2012 (разн. | история) . . (+1966) . . Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (Примеры)
- 07:14, 21 января 2012 (разн. | история) . . (+42) . . Детерминированные конечные автоматы (→Автоматные языки: разбил определение на два)
- 07:12, 21 января 2012 (разн. | история) . . (+17) . . Замкнутость регулярных языков относительно различных операций
- 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) . . Теория формальных языков (На радость Роме)
- 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/Оформление (→Теоремы)
(новейшие | старейшие) Просмотреть (250 более новых | 250 более старых) (20 | 50 | 100 | 250 | 500)