Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 21:47, 11 марта 2018 (разн. | история) . . (+5) . . Автоматы в современном мире (→Позиция внутри строки)
- 21:45, 11 марта 2018 (разн. | история) . . (-76) . . Булевые формулы с кванторами как игры для двух игроков (→Источники информации)
- 21:40, 11 марта 2018 (разн. | история) . . (0) . . Алгоритм "Вперед-Назад" (→Псевдокод)
- 21:30, 11 марта 2018 (разн. | история) . . (+62) . . Алгоритм Баума-Велша (→История)
- 12:39, 11 марта 2018 (разн. | история) . . (-9) . . Иерархия Хомского формальных грамматик (→См. также)
- 12:38, 11 марта 2018 (разн. | история) . . (+532) . . Правоконтекстные грамматики, эквивалентность автоматам
- 12:27, 11 марта 2018 (разн. | история) . . (+22) . . Автоматы в современном мире (→ReDoS (regular expression denial of service))
- 12:26, 11 марта 2018 (разн. | история) . . (+66) . . Автоматы в современном мире (→Позиция внутри строки)
- 12:17, 11 марта 2018 (разн. | история) . . (+1) . . Автоматы в современном мире (→Ревнивая квантификация (Сверхжадная))
- 12:13, 11 марта 2018 (разн. | история) . . (+91) . . Автоматы в современном мире (→Ревнивая квантификация (Сверхжадная))
- 12:13, 11 марта 2018 (разн. | история) . . (+14) . . Автоматы в современном мире (→Ревнивая квантификация (Сверхжадная))
- 12:12, 11 марта 2018 (разн. | история) . . (+2) . . Автоматы в современном мире (→Жадная и ленивая квантификация)
- 12:12, 11 марта 2018 (разн. | история) . . (+2) . . Автоматы в современном мире (→Жадная и ленивая квантификация)
- 12:12, 11 марта 2018 (разн. | история) . . (+74) . . Автоматы в современном мире (→Жадная и ленивая квантификация)
- 12:07, 11 марта 2018 (разн. | история) . . (+67) . . Автоматы в современном мире (→Квантификация.)
- 12:05, 11 марта 2018 (разн. | история) . . (+55) . . Автоматы в современном мире (→Квантификация.)
- 12:03, 11 марта 2018 (разн. | история) . . (+2) . . Автоматы в современном мире (→ReDoS (regular expression denial of service))
- 12:02, 11 марта 2018 (разн. | история) . . (+26) . . Автоматы в современном мире (→Построение НКА)
- 11:58, 11 марта 2018 (разн. | история) . . (+11) . . Автоматы в современном мире (→Построение НКА)
- 11:58, 11 марта 2018 (разн. | история) . . (+221) . . Автоматы в современном мире (→Построение НКА)
- 11:51, 11 марта 2018 (разн. | история) . . (+132) . . Автоматы в современном мире
- 00:09, 11 марта 2018 (разн. | история) . . (+65) . . Булевые формулы с кванторами как игры для двух игроков (→Источники информации)
- 23:01, 10 марта 2018 (разн. | история) . . (-2) . . Булевые формулы с кванторами как игры для двух игроков (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 23:00, 10 марта 2018 (разн. | история) . . (+529) . . Булевые формулы с кванторами как игры для двух игроков
- 22:58, 10 марта 2018 (разн. | история) . . (-374) . . Булевые формулы с кванторами как игры для двух игроков
- 22:38, 10 марта 2018 (разн. | история) . . (0) . . Булевые формулы с кванторами как игры для двух игроков (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 22:38, 10 марта 2018 (разн. | история) . . (+2) . . Булевые формулы с кванторами как игры для двух игроков (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 22:37, 10 марта 2018 (разн. | история) . . (+2) . . Булевые формулы с кванторами как игры для двух игроков
- 22:37, 10 марта 2018 (разн. | история) . . (+3) . . Булевые формулы с кванторами как игры для двух игроков (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 22:31, 10 марта 2018 (разн. | история) . . (+2) . . Булевые формулы с кванторами как игры для двух игроков
- 22:30, 10 марта 2018 (разн. | история) . . (0) . . Доказательство нерегулярности языков: лемма о разрастании
- 22:29, 10 марта 2018 (разн. | история) . . (-22) . . Доказательство нерегулярности языков: лемма о разрастании (→См. также)
- 22:28, 10 марта 2018 (разн. | история) . . (+107) . . Теория формальных языков (→Свойства конечных автоматов)
- 22:27, 10 марта 2018 (разн. | история) . . (-2) . . Булевые формулы с кванторами как игры для двух игроков
- 22:24, 10 марта 2018 (разн. | история) . . (0) . . м Булевые формулы с кванторами как игры для двух игроков (Ponomarev переименовал страницу Викиконспекты:Интерпретация булевых формул с кванторами как игр для двух игроков в [[Булевые формулы с ква…)
- 22:22, 10 марта 2018 (разн. | история) . . (0) . . м Булевые формулы с кванторами как игры для двух игроков (Ponomarev переименовал страницу Участник:Ponomarev в Викиконспекты:Интерпретация булевых формул с кванторами как игр для двух игроков: Перен…)
- 22:22, 10 марта 2018 (разн. | история) . . (-5317) . . Исчисление предикатов (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 22:20, 10 марта 2018 (разн. | история) . . (+5652) . . Н Булевые формулы с кванторами как игры для двух игроков (Новая страница: « Во многих теоремах присутствуют утверждения с кванторами «для всех» и «существует». От…»)
- 21:50, 10 марта 2018 (разн. | история) . . (+7) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Простой алгоритм)
- 21:46, 10 марта 2018 (разн. | история) . . (+18) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Алгоритм Хопкрофта)
- 21:38, 10 марта 2018 (разн. | история) . . (-1) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Простой алгоритм)
- 21:38, 10 марта 2018 (разн. | история) . . (+1) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Простой алгоритм)
- 21:37, 10 марта 2018 (разн. | история) . . (+6) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
- 21:35, 10 марта 2018 (разн. | история) . . (+6) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Алгоритм Хопкрофта)
- 21:27, 10 марта 2018 (разн. | история) . . (+2) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример языка, удовлетворяющего стандартной версии леммы)
- 21:26, 10 марта 2018 (разн. | история) . . (+6) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример нерегулярного языка, для которого выполняется лемма о разрастании)
- 21:20, 10 марта 2018 (разн. | история) . . (0) . . Доказательство нерегулярности языков: лемма о разрастании (→Источники информации)
- 21:19, 10 марта 2018 (разн. | история) . . (+21) . . Доказательство нерегулярности языков: лемма о разрастании (→Источники)
- 21:17, 10 марта 2018 (разн. | история) . . (+15) . . Доказательство нерегулярности языков: лемма о разрастании
- 21:15, 10 марта 2018 (разн. | история) . . (+18) . . Простой сопоставитель регулярных выражений (→Алгоритм)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)