Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 14:29, 1 июня 2012 (разн. | история) . . (+327) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 14:23, 1 июня 2012 (разн. | история) . . (+2) . . Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга
- 14:23, 1 июня 2012 (разн. | история) . . (+2) . . Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга
- 14:23, 1 июня 2012 (разн. | история) . . (+864) . . Н Обсуждение:Вероятностные вычисления. Вероятностная машина Тьюринга (Новая страница: «Претензии по сути: 1) вступление; я его не очень поняла; что значит, что "программы получаю...»)
- 07:04, 14 мая 2012 (разн. | история) . . (-6) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 18:18, 13 мая 2012 (разн. | история) . . (-5) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 18:17, 13 мая 2012 (разн. | история) . . (+41) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 18:15, 13 мая 2012 (разн. | история) . . (+423) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 18:08, 13 мая 2012 (разн. | история) . . (+27) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 17:32, 13 мая 2012 (разн. | история) . . (-100) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 17:30, 13 мая 2012 (разн. | история) . . (+57) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 17:25, 13 мая 2012 (разн. | история) . . (+4464) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 19:42, 30 апреля 2012 (разн. | история) . . (+895) . . Обсуждение:Сложностные классы. Вычисления с оракулом
- 19:31, 30 апреля 2012 (разн. | история) . . (+2) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 19:31, 30 апреля 2012 (разн. | история) . . (+1534) . . Н Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF) (Новая страница: «Претензии по содержанию * Формулировка леммы 2 не совсем корректна. "Для любого L из PS след...»)
- 13:50, 30 апреля 2012 (разн. | история) . . (+2487) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 20:39, 29 апреля 2012 (разн. | история) . . (+592) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 20:20, 29 апреля 2012 (разн. | история) . . (+7738) . . Н Классы L, NL, coNL. NL-полнота задачи о достижимости (Новая страница: «{{Определение |definition='''Класс <tex>L</tex>''' — множество языков, разрешимых на детерминированно...»)
- 05:36, 23 января 2012 (разн. | история) . . (-1464) . . Детерминированные автоматы с магазинной памятью
- 05:33, 23 января 2012 (разн. | история) . . (+77) . . МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
- 05:30, 23 января 2012 (разн. | история) . . (+177) . . Автоматы с магазинной памятью (→Недетерминированный автомат с магазинной памятью)
- 05:18, 23 января 2012 (разн. | история) . . (+18) . . Лемма Огдена
- 05:14, 23 января 2012 (разн. | история) . . (0) . . Лемма Огдена
- 04:59, 23 января 2012 (разн. | история) . . (-3) . . Примеры неразрешимых задач: однозначность грамматики
- 04:52, 23 января 2012 (разн. | история) . . (+137) . . Примеры неразрешимых задач: однозначность грамматики
- 01:53, 23 января 2012 (разн. | история) . . (0) . . Удаление бесполезных символов из грамматики (→Достижимые и недостижимые нетерминалы)
- 01:35, 23 января 2012 (разн. | история) . . (+5) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:29, 23 января 2012 (разн. | история) . . (-19) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:25, 23 января 2012 (разн. | история) . . (+18) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:23, 23 января 2012 (разн. | история) . . (+5) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:23, 23 января 2012 (разн. | история) . . (+3) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 01:18, 23 января 2012 (разн. | история) . . (-17) . . Правоконтекстные грамматики, эквивалентность автоматам
- 23:45, 22 января 2012 (разн. | история) . . (+4) . . Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
- 21:12, 22 января 2012 (разн. | история) . . (+8) . . Иерархия Хомского формальных грамматик (→Распознавание)
- 21:12, 22 января 2012 (разн. | история) . . (+1) . . Иерархия Хомского формальных грамматик (→Класс 1)
- 21:10, 22 января 2012 (разн. | история) . . (+2) . . Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (→Примеры)
- 00:26, 22 января 2012 (разн. | история) . . (-11) . . Недетерминированные конечные автоматы (→Язык автомата)
- 18:23, 20 января 2012 (разн. | история) . . (+999) . . Н Обсуждение:Теорема о рекурсии (Новая страница: «Ладно, по сути претензий вроде нет, но вот оформление... Пожалуйста, расставь знаки препина...»)
- 01:55, 29 декабря 2011 (разн. | история) . . (+681) . . Н Обсуждение:Стековые машины, эквивалентность двухстековой машины МТ (Новая страница: «Два момента бросаются в глаза сразу же: во-первых, кусок текста справа от рисунка выглядит ...») (текущая)
- 04:02, 20 декабря 2011 (разн. | история) . . (+97) . . Обсуждение:Характеристика перечислимых множеств через вычислимые функции (текущая)
- 05:39, 19 декабря 2011 (разн. | история) . . (+689) . . Обсуждение:Характеристика перечислимых множеств через вычислимые функции
- 23:23, 18 декабря 2011 (разн. | история) . . (+47) . . Обсуждение:Характеристика перечислимых множеств через вычислимые функции
- 19:24, 18 декабря 2011 (разн. | история) . . (+44) . . Теория формальных языков (→Теория вычислимости)
- 19:03, 18 декабря 2011 (разн. | история) . . (+1434) . . Н Обсуждение:Характеристика перечислимых множеств через вычислимые функции (Новая страница: «Претензия по сути: отсутствует доказательство 3 <tex>\Rightarrow</tex> 2. По оформлению претензий мн...»)
- 01:48, 15 декабря 2011 (разн. | история) . . (-8) . . Обсуждение:Разрешимые (рекурсивные) языки
- 01:47, 15 декабря 2011 (разн. | история) . . (+3) . . Обсуждение:Разрешимые (рекурсивные) языки
- 01:46, 15 декабря 2011 (разн. | история) . . (+549) . . Обсуждение:Разрешимые (рекурсивные) языки
- 04:02, 6 декабря 2011 (разн. | история) . . (+1) . . Алгоритм Эрли
- 03:49, 4 декабря 2011 (разн. | история) . . (+123) . . Обсуждение:Детерминированные автоматы с магазинной памятью, допуск по пустому стеку (текущая)
- 03:13, 4 декабря 2011 (разн. | история) . . (+560) . . Н Обсуждение:Детерминированные автоматы с магазинной памятью, допуск по пустому стеку (Новая страница: «А вот тут придираться буду, хоть и по мелочам. В формулировке теоремы "тогда и только тогда"...»)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)