Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 18:40, 15 декабря 2016 (разн. | история) . . (+1) . . Регулярная аппроксимация КС-языков (→Аппроксимации самоприменимой грамматики)
- 22:29, 12 декабря 2016 (разн. | история) . . (+149) . . Регулярная аппроксимация КС-языков (→Источники информации)
- 22:21, 12 декабря 2016 (разн. | история) . . (-388) . . Регулярная аппроксимация КС-языков (→Источники информации)
- 19:26, 12 декабря 2016 (разн. | история) . . (+38) . . м M-сводимость
- 19:15, 12 декабря 2016 (разн. | история) . . (+11) . . м M-сводимость (→Отношение эквивалентности)
- 19:13, 12 декабря 2016 (разн. | история) . . (+4) . . м M-сводимость (→Отношение эквивалентности)
- 12:21, 12 декабря 2016 (разн. | история) . . (+117) . . м M-сводимость (→Отношение эквивалентности)
- 11:46, 12 декабря 2016 (разн. | история) . . (+610) . . M-сводимость
- 11:37, 12 декабря 2016 (разн. | история) . . (+28) . . м M-сводимость (→Т-степени)
- 11:32, 12 декабря 2016 (разн. | история) . . (+30) . . м M-сводимость (→Т-степени)
- 11:21, 12 декабря 2016 (разн. | история) . . (+6) . . м M-сводимость (→Т-степени)
- 11:21, 12 декабря 2016 (разн. | история) . . (+6) . . м M-сводимость (→Тьюринговый скачок)
- 11:17, 12 декабря 2016 (разн. | история) . . (-26) . . м M-сводимость
- 11:16, 12 декабря 2016 (разн. | история) . . (+33) . . м M-сводимость (→Свойства)
- 22:27, 10 декабря 2016 (разн. | история) . . (-147) . . м M-сводимость (→Свойства)
- 13:17, 8 декабря 2016 (разн. | история) . . (-148) . . M-сводимость (→Применение)
- 11:51, 8 декабря 2016 (разн. | история) . . (+20) . . м Регулярная аппроксимация КС-языков (→Источники)
- 12:23, 7 декабря 2016 (разн. | история) . . (0) . . м M-сводимость (→Свойства)
- 17:38, 15 ноября 2016 (разн. | история) . . (+51) . . Исчисление предикатов (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 16:06, 15 ноября 2016 (разн. | история) . . (-5004) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Перенаправление на Исчисление предикатов#Интерпретация булевых формул с кванторами как игр для двух игроков) (текущая)
- 16:02, 15 ноября 2016 (разн. | история) . . (+5268) . . Исчисление предикатов
- 00:02, 13 ноября 2016 (разн. | история) . . (+6) . . м Доказательство нерегулярности языков: лемма о разрастании (→Пример языка, удовлетворяющего лемме в общем виде)
- 00:01, 13 ноября 2016 (разн. | история) . . (0) . . м Доказательство нерегулярности языков: лемма о разрастании (→Лемма о разрастании в общем виде)
- 23:59, 12 ноября 2016 (разн. | история) . . (+33) . . м Доказательство нерегулярности языков: лемма о разрастании (→Пример языка, удовлетворяющего лемме в общем виде)
- 23:53, 12 ноября 2016 (разн. | история) . . (+2) . . м Доказательство нерегулярности языков: лемма о разрастании (→Пример языка, удовлетворяющего лемме в общем виде)
- 19:35, 9 ноября 2016 (разн. | история) . . (-17) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример языка, удовлетворяющего лемме в общем виде)
- 19:09, 9 ноября 2016 (разн. | история) . . (+77) . . Доказательство нерегулярности языков: лемма о разрастании (→Источники)
- 12:56, 9 ноября 2016 (разн. | история) . . (+269) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример нерегулярного языка, для которого выполняется лемма о разрастании)
- 11:40, 9 ноября 2016 (разн. | история) . . (+515) . . Доказательство нерегулярности языков: лемма о разрастании (→Лемма о разрастании в общем виде)
- 11:09, 9 ноября 2016 (разн. | история) . . (+6) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример нерегулярного языка, для которого выполняется лемма о разрастании)
- 11:08, 9 ноября 2016 (разн. | история) . . (+6) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример нерегулярного языка, для которого выполняется лемма о разрастании)
- 23:22, 2 ноября 2016 (разн. | история) . . (+1105) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример нерегулярного языка, для которого выполняется лемма о разрастании)
- 23:04, 2 ноября 2016 (разн. | история) . . (+775) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример нерегулярного языка, для которого выполняется лемма о разрастании)
- 19:02, 2 ноября 2016 (разн. | история) . . (+126) . . Доказательство нерегулярности языков: лемма о разрастании
- 18:13, 2 ноября 2016 (разн. | история) . . (+1257) . . Доказательство нерегулярности языков: лемма о разрастании
- 19:14, 31 октября 2016 (разн. | история) . . (0) . . Доказательство нерегулярности языков: лемма о разрастании (→Источники)
- 18:54, 31 октября 2016 (разн. | история) . . (-7) . . Доказательство нерегулярности языков: лемма о разрастании
- 17:43, 19 октября 2016 (разн. | история) . . (+105) . . Детерминированные конечные автоматы (→Диаграмма переходов)
- 17:36, 19 октября 2016 (разн. | история) . . (0) . . м Детерминированные конечные автоматы (→Таблица переходов)
- 17:36, 19 октября 2016 (разн. | история) . . (+19) . . Детерминированные конечные автоматы (→Таблица переходов)
- 15:37, 19 октября 2016 (разн. | история) . . (-487) . . Детерминированные конечные автоматы (→Диаграмма переходов)
- 22:52, 18 октября 2016 (разн. | история) . . (+407) . . Детерминированные конечные автоматы (→Диаграмма переходов)
- 22:19, 18 октября 2016 (разн. | история) . . (-82) . . Детерминированные конечные автоматы
- 20:54, 18 октября 2016 (разн. | история) . . (+3) . . м Детерминированные конечные автоматы (→Представление таблицей переходов)
- 19:48, 18 октября 2016 (разн. | история) . . (+637) . . Детерминированные конечные автоматы (→Примеры)
- 19:26, 18 октября 2016 (разн. | история) . . (0) . . Н Файл:DFAexample- 1 .jpg (текущая)
- 12:19, 17 октября 2016 (разн. | история) . . (0) . . Файл:DFAexample- 1 .png (загружена новая версия «Файл:DFAexample- 1 .png») (текущая)
- 12:10, 17 октября 2016 (разн. | история) . . (+19) . . Н Файл:DFAexample- 1 .png (Пример ДКА)
- 09:50, 19 мая 2016 (разн. | история) . . (-3) . . м Алгоритм Бойера-Мура (→Псевдокод)
- 14:01, 18 мая 2016 (разн. | история) . . (+395) . . Алгоритм Бойера-Мура (→Псевдокод)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)