Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 06:24, 24 января 2012 (разн. | история) . . (+135) . . Стековые машины, эквивалентность двухстековой машины МТ
- 05:18, 24 января 2012 (разн. | история) . . (0) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 05:16, 24 января 2012 (разн. | история) . . (+1) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 05:13, 24 января 2012 (разн. | история) . . (0) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 04:33, 24 января 2012 (разн. | история) . . (+33) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (→Построение грамматики по МТ)
- 04:32, 24 января 2012 (разн. | история) . . (+2) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (→Построение грамматики по МТ)
- 04:31, 24 января 2012 (разн. | история) . . (+1) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (→Теорема)
- 04:25, 24 января 2012 (разн. | история) . . (+1) . . Возможность порождения формальной грамматикой произвольного перечислимого языка
- 04:20, 24 января 2012 (разн. | история) . . (+70) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 04:12, 24 января 2012 (разн. | история) . . (+52) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 04:05, 24 января 2012 (разн. | история) . . (-12) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 04:01, 24 января 2012 (разн. | история) . . (+9) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 03:59, 24 января 2012 (разн. | история) . . (0) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 03:58, 24 января 2012 (разн. | история) . . (0) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 03:52, 24 января 2012 (разн. | история) . . (+10) . . Теорема Райса-Шапиро (→Лемма о перечислимости свойства перечислимого множества образцов)
- 02:49, 24 января 2012 (разн. | история) . . (+8) . . Теорема Райса-Шапиро (→Теорема Райса-Шапиро)
- 02:42, 24 января 2012 (разн. | история) . . (-7) . . Теорема Райса-Шапиро (→Лемма о перечислимости свойства образца)
- 02:38, 24 января 2012 (разн. | история) . . (+24) . . Стековые машины, эквивалентность двухстековой машины МТ
- 00:49, 24 января 2012 (разн. | история) . . (+328) . . Нормальная форма Хомского
- 00:10, 24 января 2012 (разн. | история) . . (-14) . . Нормальная форма Хомского
- 00:05, 24 января 2012 (разн. | история) . . (+2) . . Теорема о рекурсии
- 00:02, 24 января 2012 (разн. | история) . . (+45) . . Примеры неразрешимых задач: проблема соответствий Поста
- 23:57, 23 января 2012 (разн. | история) . . (+67) . . Примеры неразрешимых задач: проблема соответствий Поста
- 23:30, 23 января 2012 (разн. | история) . . (+2) . . Примеры неразрешимых задач: проблема соответствий Поста
- 23:10, 23 января 2012 (разн. | история) . . (-2) . . Удаление цепных правил из грамматики
- 05:24, 23 января 2012 (разн. | история) . . (-73) . . Иммунные и простые множества
- 05:07, 23 января 2012 (разн. | история) . . (-27) . . Теорема о рекурсии
- 05:01, 23 января 2012 (разн. | история) . . (+2) . . Теорема о рекурсии
- 04:56, 23 января 2012 (разн. | история) . . (+1) . . Теорема о рекурсии
- 04:52, 23 января 2012 (разн. | история) . . (+45) . . Теорема о рекурсии
- 04:50, 23 января 2012 (разн. | история) . . (+15) . . Теорема о рекурсии
- 04:47, 23 января 2012 (разн. | история) . . (0) . . Теорема о рекурсии
- 04:46, 23 января 2012 (разн. | история) . . (+19) . . Теорема о рекурсии
- 04:45, 23 января 2012 (разн. | история) . . (+135) . . Теорема о рекурсии
- 04:29, 23 января 2012 (разн. | история) . . (+89) . . Обсуждение:Теорема о рекурсии
- 03:34, 23 января 2012 (разн. | история) . . (+7183) . . Вычислимые функции
- 03:33, 23 января 2012 (разн. | история) . . (-7129) . . Вычислимые функции
- 02:40, 23 января 2012 (разн. | история) . . (0) . . Свойства перечислимых языков. Теорема Успенского-Райса (→Теорема Успенского-Райса)
- 01:59, 23 января 2012 (разн. | история) . . (+14) . . Свойства перечислимых языков. Теорема Успенского-Райса (→Теорема Успенского-Райса)
- 02:15, 3 января 2012 (разн. | история) . . (+10) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 10:57, 2 января 2012 (разн. | история) . . (+6) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 10:53, 2 января 2012 (разн. | история) . . (+178) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 10:26, 2 января 2012 (разн. | история) . . (+177) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 11:00, 25 декабря 2011 (разн. | история) . . (0) . . Характеристика перечислимых множеств через вычислимые функции
- 10:55, 25 декабря 2011 (разн. | история) . . (-12) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 10:50, 25 декабря 2011 (разн. | история) . . (0) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 10:43, 25 декабря 2011 (разн. | история) . . (0) . . Перечислимые языки
- 10:35, 25 декабря 2011 (разн. | история) . . (0) . . Разрешимые (рекурсивные) языки
- 10:17, 25 декабря 2011 (разн. | история) . . (+4) . . Характеристика перечислимых множеств через вычислимые функции
- 10:06, 25 декабря 2011 (разн. | история) . . (-2) . . Характеристика перечислимых множеств через вычислимые функции (→Эквивалентность определений)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
