Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 15:05, 3 июня 2012 (разн. | история) . . (+1) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 14:39, 3 июня 2012 (разн. | история) . . (+185) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→NL-полнота)
- 14:31, 3 июня 2012 (разн. | история) . . (+330) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 14:25, 3 июня 2012 (разн. | история) . . (+1) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 14:24, 3 июня 2012 (разн. | история) . . (+174) . . Классы L, NL, coNL. NL-полнота задачи о достижимости (→Теорема Иммермана)
- 21:17, 2 июня 2012 (разн. | история) . . (+288) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 20:50, 2 июня 2012 (разн. | история) . . (+698) . . Н Обсуждение:Классы RP и coRP (Новая страница: «Обозначение "программа m" меня убивает. Если программа, то все-таки р, m - это МТ. '''then''' на сл...»)
- 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) . . Теория формальных языков (→Теория вычислимости)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)