Вклад участника
11 марта 2018
Автоматы в современном мире
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
Простой сопоставитель регулярных выражений
Модификации
Прямое произведение ДКА
Нет описания правки
+18
8 марта 2018
Алгоритм "Вперед-Назад"
Псевдокод
-13
Примеры использования Марковских цепей
Оценка будущих продаж
+34
Примеры использования Марковских цепей
Прогноз погоды
+9
Примеры использования Марковских цепей
Обозначения
+9
Примеры использования Марковских цепей
Нет описания правки
+281
Примеры использования Марковских цепей
Нет описания правки
+53
Примеры использования Марковских цепей
Условие
+325
Примеры использования Марковских цепей
Условие
+120
Регулярная марковская цепь
Нет описания правки
-3
Эргодическая марковская цепь
Эргодическая теорема
+1
Эргодическая марковская цепь
Нет описания правки
м+3
Эргодическая марковская цепь
Эргодическая теорема
+40
Эргодическая марковская цепь
Классификация эргодических цепей
м+39
Эргодическая марковская цепь
Нет описания правки
м+31