Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (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) . . Характеристика перечислимых множеств через вычислимые функции (→Эквивалентность определений)
- 10:03, 25 декабря 2011 (разн. | история) . . (+90) . . Характеристика перечислимых множеств через вычислимые функции
- 10:01, 25 декабря 2011 (разн. | история) . . (-147) . . Характеристика перечислимых множеств через вычислимые функции
- 09:25, 25 декабря 2011 (разн. | история) . . (+23) . . Характеристика перечислимых множеств через вычислимые функции (→Литература)
- 10:15, 23 декабря 2011 (разн. | история) . . (-27) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 10:10, 23 декабря 2011 (разн. | история) . . (+15) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 10:04, 23 декабря 2011 (разн. | история) . . (+19) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций (→Литература)
- 10:04, 23 декабря 2011 (разн. | история) . . (+8) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 09:39, 23 декабря 2011 (разн. | история) . . (+141) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 09:33, 23 декабря 2011 (разн. | история) . . (-3) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 09:17, 23 декабря 2011 (разн. | история) . . (-3) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 09:14, 23 декабря 2011 (разн. | история) . . (+122) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 08:56, 23 декабря 2011 (разн. | история) . . (+61) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 08:55, 23 декабря 2011 (разн. | история) . . (+15) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 08:51, 23 декабря 2011 (разн. | история) . . (-30) . . Перечислимые языки
- 08:50, 23 декабря 2011 (разн. | история) . . (-4) . . Разрешимые (рекурсивные) языки
- 08:43, 23 декабря 2011 (разн. | история) . . (0) . . Разрешимые (рекурсивные) языки
- 08:42, 23 декабря 2011 (разн. | история) . . (+13) . . Разрешимые (рекурсивные) языки
- 08:41, 23 декабря 2011 (разн. | история) . . (0) . . Разрешимые (рекурсивные) языки
- 08:39, 23 декабря 2011 (разн. | история) . . (+31) . . Разрешимые (рекурсивные) языки (→Литература)
- 08:34, 23 декабря 2011 (разн. | история) . . (+2) . . Разрешимые (рекурсивные) языки
- 08:33, 23 декабря 2011 (разн. | история) . . (-14) . . Разрешимые (рекурсивные) языки
- 08:35, 22 декабря 2011 (разн. | история) . . (-11) . . Перечислимые языки
- 10:02, 19 декабря 2011 (разн. | история) . . (+6) . . Перечислимые языки
- 09:36, 19 декабря 2011 (разн. | история) . . (+13) . . Перечислимые языки
- 09:15, 19 декабря 2011 (разн. | история) . . (+2) . . Перечислимые языки (→Литература)
- 00:25, 8 ноября 2011 (разн. | история) . . (+809) . . Нормальная форма Хомского (→Приведение грамматики к нормальной форме Хомского)
- 01:48, 7 ноября 2011 (разн. | история) . . (+1) . . Нормальная форма Хомского
- 01:47, 7 ноября 2011 (разн. | история) . . (-1) . . Нормальная форма Хомского (→Приведение грамматики к нормальной форме Хомского)
- 01:47, 7 ноября 2011 (разн. | история) . . (-548) . . Нормальная форма Хомского
- 01:44, 7 ноября 2011 (разн. | история) . . (+47) . . Обсуждение:Нормальная форма Хомского
- 06:25, 4 ноября 2011 (разн. | история) . . (+24) . . Обсуждение:Нормальная форма Хомского
- 06:24, 4 ноября 2011 (разн. | история) . . (+15) . . Обсуждение:Нормальная форма Хомского
- 06:23, 4 ноября 2011 (разн. | история) . . (+241) . . Обсуждение:Удаление длинных правил из грамматики
- 06:04, 4 ноября 2011 (разн. | история) . . (+1002) . . Нормальная форма Хомского
- 05:53, 4 ноября 2011 (разн. | история) . . (-3083) . . Нормальная форма Хомского
- 10:44, 3 ноября 2011 (разн. | история) . . (-1) . . Обсуждение:Нормальная форма Хомского
- 10:43, 3 ноября 2011 (разн. | история) . . (+88) . . Обсуждение:Нормальная форма Хомского
- 05:48, 3 ноября 2011 (разн. | история) . . (-1) . . Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах
- 05:47, 3 ноября 2011 (разн. | история) . . (+200) . . Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах
- 09:23, 2 ноября 2011 (разн. | история) . . (+1) . . Приведение грамматики к ослабленной нормальной форме Грейбах (→Приведение грамматики к ослабленной нормальной форме Грейбах)
- 09:22, 2 ноября 2011 (разн. | история) . . (+2) . . м Приведение грамматики к ослабленной нормальной форме Грейбах (→Приведение грамматики к ослабленной нормальной форме Грейбах)
- 09:21, 2 ноября 2011 (разн. | история) . . (+3) . . Приведение грамматики к ослабленной нормальной форме Грейбах (→Приведение грамматики к ослабленной нормальной форме Грейбах)
- 09:21, 2 ноября 2011 (разн. | история) . . (-1142) . . Приведение грамматики к ослабленной нормальной форме Грейбах (→Приведение грамматики к ослабленной нормальной форме Грейбах)
- 08:55, 2 ноября 2011 (разн. | история) . . (+1393) . . Приведение грамматики к ослабленной нормальной форме Грейбах (→Приведение грамматики к ослабленной нормальной форме Грейбах)
- 08:36, 2 ноября 2011 (разн. | история) . . (+226) . . Приведение грамматики к ослабленной нормальной форме Грейбах (→Приведение грамматики к ослабленной нормальной форме Грейбах)
- 08:26, 2 ноября 2011 (разн. | история) . . (-17) . . Приведение грамматики к ослабленной нормальной форме Грейбах (→Алгоритм приведения грамматики к ослабленной нормальной форме Грейбах)
- 08:25, 2 ноября 2011 (разн. | история) . . (-1256) . . Приведение грамматики к ослабленной нормальной форме Грейбах
- 08:23, 2 ноября 2011 (разн. | история) . . (+1066) . . Приведение грамматики к ослабленной нормальной форме Грейбах
- 00:07, 27 октября 2011 (разн. | история) . . (+201) . . Нормальная форма Хомского (→Несколько определений)
- 08:15, 26 октября 2011 (разн. | история) . . (+7) . . Нормальная форма Хомского (→Преобразование грамматики в нормальную форму Хомского)
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)