Вклад участника
11 марта 2018
Булевые формулы с кванторами как игры для двух игроков
Источники информации
-76
Алгоритм "Вперед-Назад"
Псевдокод
Алгоритм Баума-Велша
История
+62
Иерархия Хомского формальных грамматик
См. также
-9
Правоконтекстные грамматики, эквивалентность автоматам
Нет описания правки
+532
Автоматы в современном мире
ReDoS (regular expression denial of service)
+22
Автоматы в современном мире
Позиция внутри строки
+66
Автоматы в современном мире
Ревнивая квантификация (Сверхжадная)
+1
Автоматы в современном мире
Ревнивая квантификация (Сверхжадная)
+91
Автоматы в современном мире
Ревнивая квантификация (Сверхжадная)
+14
Автоматы в современном мире
Жадная и ленивая квантификация
+2
Автоматы в современном мире
Жадная и ленивая квантификация
+2
Автоматы в современном мире
Жадная и ленивая квантификация
+74
Автоматы в современном мире
Квантификация.
+67
Автоматы в современном мире
Квантификация.
+55
Автоматы в современном мире
ReDoS (regular expression denial of service)
+2
Автоматы в современном мире
Построение НКА
+26
Автоматы в современном мире
Построение НКА
+11
Автоматы в современном мире
Построение НКА
+221
Автоматы в современном мире
Нет описания правки
+132
Булевые формулы с кванторами как игры для двух игроков
Источники информации
+65
10 марта 2018
Булевые формулы с кванторами как игры для двух игроков
Интерпретация булевых формул с кванторами как игр для двух игроков
-2
Булевые формулы с кванторами как игры для двух игроков
Нет описания правки
+529
Булевые формулы с кванторами как игры для двух игроков
Нет описания правки
-374
Булевые формулы с кванторами как игры для двух игроков
Интерпретация булевых формул с кванторами как игр для двух игроков
Булевые формулы с кванторами как игры для двух игроков
Интерпретация булевых формул с кванторами как игр для двух игроков
+2
Булевые формулы с кванторами как игры для двух игроков
Нет описания правки
+2
Булевые формулы с кванторами как игры для двух игроков
Интерпретация булевых формул с кванторами как игр для двух игроков
+3
Булевые формулы с кванторами как игры для двух игроков
Нет описания правки
+2
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
Доказательство нерегулярности языков: лемма о разрастании
См. также
-22
Теория формальных языков
Свойства конечных автоматов
+107
Булевые формулы с кванторами как игры для двух игроков
Нет описания правки
-2
Булевые формулы с кванторами как игры для двух игроков
Ponomarev переименовал страницу Викиконспекты:Интерпретация булевых формул с кванторами как игр для двух игроков в [[Булевые формулы с ква…
мБулевые формулы с кванторами как игры для двух игроков
Ponomarev переименовал страницу Участник:Ponomarev в Викиконспекты:Интерпретация булевых формул с кванторами как игр для двух игроков: Перен…
мИсчисление предикатов
Интерпретация булевых формул с кванторами как игр для двух игроков
-5317
Булевые формулы с кванторами как игры для двух игроков
Новая страница: « Во многих теоремах присутствуют утверждения с кванторами «для всех» и «существует». От…»
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Простой алгоритм
+7
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Алгоритм Хопкрофта
+18
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Простой алгоритм
-1
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Простой алгоритм
+1
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Нет описания правки
+6
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Алгоритм Хопкрофта
+6
Доказательство нерегулярности языков: лемма о разрастании
Пример языка, удовлетворяющего стандартной версии леммы
+2
Доказательство нерегулярности языков: лемма о разрастании
Пример нерегулярного языка, для которого выполняется лемма о разрастании
+6
Доказательство нерегулярности языков: лемма о разрастании
Источники информации
Доказательство нерегулярности языков: лемма о разрастании
Источники
+21
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
+15
Простой сопоставитель регулярных выражений
Алгоритм
+18
Простой сопоставитель регулярных выражений
Модификации