Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 08:21, 24 января 2012 (разн. | история) . . (0) . . Лемма Огдена
- 08:11, 24 января 2012 (разн. | история) . . (-1314) . . Автоматы с магазинной памятью (→Детерминированный автомат с магазинной памятью)
- 07:05, 24 января 2012 (разн. | история) . . (+1127) . . Теорема о рекурсии
- 06:43, 24 января 2012 (разн. | история) . . (+7) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность k-счётчиковой машины двухсчётчиковой)
- 06:38, 24 января 2012 (разн. | история) . . (+6) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность k-счётчиковой машины двухсчётчиковой)
- 06:21, 24 января 2012 (разн. | история) . . (-1) . . Теорема о рекурсии (→Теорема о рекурсии)
- 06:21, 24 января 2012 (разн. | история) . . (-1) . . Теорема о рекурсии (→Теорема о рекурсии)
- 05:57, 24 января 2012 (разн. | история) . . (-31) . . Нормальная форма Хомского
- 05:34, 24 января 2012 (разн. | история) . . (0) . . Нормальная форма Хомского (ё)
- 05:29, 24 января 2012 (разн. | история) . . (0) . . Удаление длинных правил из грамматики (→Пример работы)
- 05:22, 24 января 2012 (разн. | история) . . (-2) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Никита, ты неправ (Н минус одного квантора))
- 05:19, 24 января 2012 (разн. | история) . . (+161) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность k-счётчиковой машины двухсчётчиковой)
- 05:17, 24 января 2012 (разн. | история) . . (+1) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность k-счётчиковой машины двухсчётчиковой)
- 05:14, 24 января 2012 (разн. | история) . . (+1) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 05:13, 24 января 2012 (разн. | история) . . (-157) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 05:02, 24 января 2012 (разн. | история) . . (0) . . Линейный клеточный автомат, эквивалентность МТ (→Эквивалентность линейного клеточного автомата машине Тьюринга)
- 05:01, 24 января 2012 (разн. | история) . . (+462) . . Теорема о рекурсии
- 04:55, 24 января 2012 (разн. | история) . . (+50) . . Линейный клеточный автомат, эквивалентность МТ (→Эквивалентность линейного клеточного автомата машине Тьюринга)
- 04:54, 24 января 2012 (разн. | история) . . (-40) . . Линейный клеточный автомат, эквивалентность МТ (Исправлено определение C_L, C_R)
- 04:51, 24 января 2012 (разн. | история) . . (+2) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)