Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 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) . . Алгоритм Бойера-Мура (→Псевдокод)
- 12:56, 18 мая 2016 (разн. | история) . . (+6) . . м Алгоритм Бойера-Мура (→Пример)
- 12:48, 18 мая 2016 (разн. | история) . . (+257) . . Алгоритм Бойера-Мура (→Пример)
- 12:40, 18 мая 2016 (разн. | история) . . (+139) . . Алгоритм Бойера-Мура (→Псевдокод)
- 12:32, 18 мая 2016 (разн. | история) . . (+2) . . Алгоритм Бойера-Мура (→Псевдокод)
- 12:29, 18 мая 2016 (разн. | история) . . (+13) . . Алгоритм Бойера-Мура (→Асимптотики)
- 12:27, 18 мая 2016 (разн. | история) . . (+1) . . м Алгоритм Бойера-Мура (→Псевдокод)
- 12:27, 18 мая 2016 (разн. | история) . . (+1) . . м Алгоритм Бойера-Мура (→Пример)
- 12:26, 18 мая 2016 (разн. | история) . . (+1) . . м Алгоритм Бойера-Мура (→Алгоритм)
- 12:25, 18 мая 2016 (разн. | история) . . (-58) . . Алгоритм Бойера-Мура (→Псевдокод)
- 10:23, 18 мая 2016 (разн. | история) . . (-13) . . Алгоритм Бойера-Мура (→Псевдокод)
- 10:19, 18 мая 2016 (разн. | история) . . (+34) . . Алгоритм Бойера-Мура (→Псевдокод)
- 10:11, 18 мая 2016 (разн. | история) . . (-48) . . Алгоритм Бойера-Мура (→Псевдокод)
- 09:47, 18 мая 2016 (разн. | история) . . (0) . . Алгоритм Бойера-Мура (→Псевдокод)
- 09:44, 18 мая 2016 (разн. | история) . . (0) . . Алгоритм Бойера-Мура (→Пример)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)