Вклад участника
27 ноября 2018
Теория Рамсея
Числа Рамсея
+5
Теория Рамсея
Числа Рамсея
м+2
Теория Рамсея
Числа Рамсея
м+33
Теория Рамсея
Числа Рамсея
м-28
Теория Рамсея
Существование. Оценки сверху
-15
Теория Рамсея
Существование. Оценки сверху
м+16
Теория Рамсея
Существование. Оценки сверху
м+8
Теория Рамсея
Числа Рамсея
+22
Теория Рамсея
Числа Рамсея
-316
Теория Рамсея
Нет описания правки
+351
14 ноября 2018
28 октября 2018
13 октября 2018
Объединение матроидов, доказательство того, что объединение является матроидом
Нет описания правки
+25
15 марта 2018
14 марта 2018
Автоматы в современном мире
Несколько полезных оптимизаций на примере Haskell
Автоматы в современном мире
Несколько полезных оптимизаций на примере Haskell
+101
Автоматы в современном мире
См. также
+42
Автоматы в современном мире
Реализация регулярных выражений в современных языках
+71
Автоматы в современном мире
Построение НКА
+18
Автоматы в современном мире
Построение НКА
+2
Автоматы в современном мире
Построение НКА
+22
Автоматы в современном мире
Построение НКА
-76
Автоматы в современном мире
Построение НКА
-20
Автоматы в современном мире
Построение НКА
-28
Автоматы в современном мире
Построение НКА
+8
Автоматы в современном мире
Построение НКА
-24
Автоматы в современном мире
Построение НКА
+54
Булевые формулы с кванторами как игры для двух игроков
Источники информации
12 марта 2018
Эргодическая марковская цепь
Нет описания правки
-53
Автоматы в современном мире
Реализация регулярных выражений в современных языках
+11
Автоматы в современном мире
Жадная и ленивая квантификация
+1
Примеры использования Марковских цепей
Нет описания правки
+76
Регулярная марковская цепь
Примеры
+2
11 марта 2018
Автоматы в современном мире
Позиция внутри строки
+5
Булевые формулы с кванторами как игры для двух игроков
Источники информации
-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