Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)
- 04:23, 24 января 2012 (разн. | история) . . (+5) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухсчётчиковой машины трёхсчётчиковой)
- 04:09, 24 января 2012 (разн. | история) . . (+6) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 04:08, 24 января 2012 (разн. | история) . . (-2) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 04:07, 24 января 2012 (разн. | история) . . (+1) . . Линейный клеточный автомат, эквивалентность МТ
- 04:06, 24 января 2012 (разн. | история) . . (+697) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухсчётчиковой машины трёхсчётчиковой)
- 03:52, 24 января 2012 (разн. | история) . . (-27) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 03:51, 24 января 2012 (разн. | история) . . (-1) . . Правоконтекстные грамматики, эквивалентность автоматам
- 03:47, 24 января 2012 (разн. | история) . . (0) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 03:46, 24 января 2012 (разн. | история) . . (-2) . . Правоконтекстные грамматики, эквивалентность автоматам
- 03:46, 24 января 2012 (разн. | история) . . (+483) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 03:36, 24 января 2012 (разн. | история) . . (+3069) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 03:27, 24 января 2012 (разн. | история) . . (+3) . . Формальные грамматики (→Арифметические выражения)
- 03:24, 24 января 2012 (разн. | история) . . (+3) . . Формальные грамматики (→Правильные скобочные последовательности)
- 03:05, 24 января 2012 (разн. | история) . . (+1117) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 02:42, 24 января 2012 (разн. | история) . . (+2) . . Лемма о разрастании для КС-грамматик (→Лемма о разрастании для КС-грамматик)
- 02:40, 24 января 2012 (разн. | история) . . (+1170) . . Лемма о разрастании для КС-грамматик (→Лемма о разрастании для КС-грамматик)
- 02:13, 24 января 2012 (разн. | история) . . (+95) . . Конкурс для более удачного URL сайта вики-конспектов (→Варианты)
- 01:59, 24 января 2012 (разн. | история) . . (-12) . . Теорема о рекурсии (→Пример использования)
- 01:35, 24 января 2012 (разн. | история) . . (+40) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 01:32, 24 января 2012 (разн. | история) . . (-3582) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухсчетчиковой машины машине Тьюринга)
- 01:25, 24 января 2012 (разн. | история) . . (+44) . . Нормальная форма Хомского
- 01:22, 24 января 2012 (разн. | история) . . (+1366) . . Нормальная форма Хомского (→Приведение грамматики к нормальной форме Хомского)
- 01:14, 24 января 2012 (разн. | история) . . (+74) . . Лемма о разрастании для КС-грамматик (→Пример доказательства неконтекстно-свободности языка с использованием леммы)
- 01:05, 24 января 2012 (разн. | история) . . (+63) . . Лемма о разрастании для КС-грамматик
- 00:57, 24 января 2012 (разн. | история) . . (+193) . . Лемма о разрастании для КС-грамматик
- 00:42, 24 января 2012 (разн. | история) . . (+1321) . . Перечислимые языки
- 00:31, 24 января 2012 (разн. | история) . . (+74) . . Лемма о разрастании для КС-грамматик
- 00:28, 24 января 2012 (разн. | история) . . (+102) . . Лемма о разрастании для КС-грамматик
- 00:13, 24 января 2012 (разн. | история) . . (+345) . . Лемма о разрастании для КС-грамматик
- 23:44, 23 января 2012 (разн. | история) . . (+1615) . . Лемма о разрастании для КС-грамматик
- 23:25, 23 января 2012 (разн. | история) . . (+68) . . Математический анализ 1 курс (→Экзамен)
- 23:17, 23 января 2012 (разн. | история) . . (+105) . . Лемма о разрастании для КС-грамматик
- 22:56, 23 января 2012 (разн. | история) . . (+92) . . Лемма о разрастании для КС-грамматик
- 22:53, 23 января 2012 (разн. | история) . . (+1197) . . Лемма о разрастании для КС-грамматик
- 22:51, 23 января 2012 (разн. | история) . . (+2412) . . Линейный клеточный автомат, эквивалентность МТ
- 22:42, 23 января 2012 (разн. | история) . . (+23) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 22:42, 23 января 2012 (разн. | история) . . (-28) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 22:41, 23 января 2012 (разн. | история) . . (-13) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 22:39, 23 января 2012 (разн. | история) . . (+18) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 22:25, 23 января 2012 (разн. | история) . . (+213) . . Лемма о разрастании для КС-грамматик
- 22:23, 23 января 2012 (разн. | история) . . (+24) . . Иммунные и простые множества
- 22:20, 23 января 2012 (разн. | история) . . (+41) . . Н Участник:Pashkal (Новая страница: «Pashkal, или дедушка Марат») (текущая)
- 22:16, 23 января 2012 (разн. | история) . . (-16) . . Вычислимые функции (→Примеры вычислимых функций)
- 21:55, 23 января 2012 (разн. | история) . . (-1) . . Примеры неразрешимых задач: проблема соответствий Поста
- 21:53, 23 января 2012 (разн. | история) . . (+10) . . Лемма о разрастании для КС-грамматик
- 21:52, 23 января 2012 (разн. | история) . . (-82) . . Лемма о разрастании для КС-грамматик
- 21:35, 23 января 2012 (разн. | история) . . (+1) . . Лемма о разрастании для КС-грамматик
- 21:32, 23 января 2012 (разн. | история) . . (+284) . . Лемма о разрастании для КС-грамматик
- 21:06, 23 января 2012 (разн. | история) . . (-51) . . Лемма о разрастании для КС-грамматик
- 20:55, 23 января 2012 (разн. | история) . . (+74) . . Лемма о разрастании для КС-грамматик
- 20:37, 23 января 2012 (разн. | история) . . (-2) . . Приведение грамматики к ослабленной нормальной форме Грейбах (→Определение)
- 20:31, 23 января 2012 (разн. | история) . . (+51) . . Удаление цепных правил из грамматики (→Алгоритм)
- 19:40, 23 января 2012 (разн. | история) . . (+12) . . Линейный клеточный автомат, эквивалентность МТ
- 19:38, 23 января 2012 (разн. | история) . . (+4) . . Линейный клеточный автомат, эквивалентность МТ
- 19:36, 23 января 2012 (разн. | история) . . (+297) . . Линейный клеточный автомат, эквивалентность МТ
- 19:25, 23 января 2012 (разн. | история) . . (+1496) . . Линейный клеточный автомат, эквивалентность МТ
- 18:47, 23 января 2012 (разн. | история) . . (-1) . . Построение по НКА эквивалентного ДКА, алгоритм Томпсона
- 07:52, 23 января 2012 (разн. | история) . . (0) . . Предикат "левый поворот"
- 05:31, 23 января 2012 (разн. | история) . . (+49) . . Конкурс для более удачного URL сайта вики-конспектов
- 03:18, 23 января 2012 (разн. | история) . . (+357) . . Линейный клеточный автомат, эквивалентность МТ
- 22:59, 22 января 2012 (разн. | история) . . (-10 643) . . Обратное преобразование Барроуза-Уиллера (Перенаправление на Преобразование Барроуза-Уиллера#Обратное преобразование)
- 21:48, 22 января 2012 (разн. | история) . . (+1749) . . Линейный клеточный автомат, эквивалентность МТ (Сведение к одинаковым автоматам в клетках.)
- 21:28, 22 января 2012 (разн. | история) . . (+1105) . . Н Линейный клеточный автомат, эквивалентность МТ (ЛКА: определения)
- 05:33, 22 января 2012 (разн. | история) . . (+70) . . Конкурс для более удачного URL сайта вики-конспектов (→Варианты)
- 02:48, 22 января 2012 (разн. | история) . . (-1) . . Предел отображения в метрическом пространстве (g / y changed to g(y))
- 09:40, 21 января 2012 (разн. | история) . . (-1) . . Удаление бесполезных символов из грамматики (→Достижимые и недостижимые нетерминалы)
- 09:33, 21 января 2012 (разн. | история) . . (+2) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 09:12, 21 января 2012 (разн. | история) . . (+3) . . Формальные грамматики (→Определения)
- 07:42, 21 января 2012 (разн. | история) . . (+3) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример доказательства с использованием леммы)
- 07:03, 21 января 2012 (разн. | история) . . (+70) . . Детерминированные конечные автоматы (→Процесс допуска)
- 06:46, 21 января 2012 (разн. | история) . . (0) . . Алгоритм Бентли-Оттмана (→Сканирующая точка)
- 06:42, 21 января 2012 (разн. | история) . . (+3) . . Существенно неоднозначные языки (→Существенно неоднозначные языки)
- 06:41, 21 января 2012 (разн. | история) . . (+156) . . Существенно неоднозначные языки (→Существенно неоднозначные языки)
- 06:36, 21 января 2012 (разн. | история) . . (+223) . . Существенно неоднозначные языки (→Существенно неоднозначные языки)
- 06:29, 21 января 2012 (разн. | история) . . (+34) . . Математический анализ 2 курс
- 06:27, 21 января 2012 (разн. | история) . . (-9) . . Существенно неоднозначные языки (→Существенно неоднозначные языки)
- 06:26, 21 января 2012 (разн. | история) . . (+118) . . Существенно неоднозначные языки (→Существенно неоднозначные языки)
- 06:22, 21 января 2012 (разн. | история) . . (-1) . . Существенно неоднозначные языки (→Существенно неоднозначные языки)
- 06:20, 21 января 2012 (разн. | история) . . (+18) . . Существенно неоднозначные языки (→Существенно неоднозначные языки)
- 06:19, 21 января 2012 (разн. | история) . . (-2) . . Существенно неоднозначные языки (→Существенно неоднозначные языки)
- 06:09, 21 января 2012 (разн. | история) . . (+48) . . Существенно неоднозначные языки (→Пример:)
- 06:05, 21 января 2012 (разн. | история) . . (+12) . . Построение по НКА эквивалентного ДКА, алгоритм Томпсона
- 06:04, 21 января 2012 (разн. | история) . . (+6) . . Построение по НКА эквивалентного ДКА, алгоритм Томпсона
- 05:55, 21 января 2012 (разн. | история) . . (0) . . Построение по НКА эквивалентного ДКА, алгоритм Томпсона
- 05:53, 21 января 2012 (разн. | история) . . (0) . . Построение по НКА эквивалентного ДКА, алгоритм Томпсона (→Пример)
- 04:24, 21 января 2012 (разн. | история) . . (+305) . . Н Конкурс для более удачного URL сайта вики-конспектов (Новая страница: «Хочется избавиться от имени mediawiki, потому что это название вики-движка . Предлагайте вариа...»)
- 04:23, 21 января 2012 (разн. | история) . . (+346) . . Заглавная страница
- 22:17, 20 января 2012 (разн. | история) . . (0) . . Примеры неразрешимых задач: однозначность грамматики
- 21:44, 20 января 2012 (разн. | история) . . (-324) . . Примеры неразрешимых задач: однозначность грамматики
- 21:42, 20 января 2012 (разн. | история) . . (+64) . . Теорема о рекурсии
- 06:53, 20 января 2012 (разн. | история) . . (+281) . . Теорема о существовании простого цикла в случае существования цикла
- 08:48, 19 января 2012 (разн. | история) . . (+413) . . Обсуждение:Эргодическая марковская цепь
- 08:44, 19 января 2012 (разн. | история) . . (+439) . . Обсуждение:Эргодическая марковская цепь
- 08:05, 19 января 2012 (разн. | история) . . (+2101) . . Н Список тем (Новая страница: «===Устойчивая реализация алгоритмов вычислительной геометрии.=== * Как устроены числа с пла...»)
- 07:47, 19 января 2012 (разн. | история) . . (-10) . . Вычислительная геометрия
- 07:44, 19 января 2012 (разн. | история) . . (+36) . . Вычислительная геометрия
- 02:52, 19 января 2012 (разн. | история) . . (+6) . . Алгоритм Эрли (→Пример)
- 02:51, 19 января 2012 (разн. | история) . . (+2) . . Алгоритм Эрли (→Корректность алгоритма)
- 22:33, 18 января 2012 (разн. | история) . . (+2) . . Теорема Форда-Фалкерсона о потоке минимальной стоимости
- 21:05, 18 января 2012 (разн. | история) . . (+27) . . Алгоритм Эрли (→Корректность алгоритма)
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)