Вклад участника

Ponomarev

10 марта 2018

Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
22:30
Доказательство нерегулярности языков: лемма о разрастании
‎См. также
22:29
-22
Теория формальных языков
‎Свойства конечных автоматов
22:28
+107
Булевые формулы с кванторами как игры для двух игроков
Нет описания правки
22:27
-2
Булевые формулы с кванторами как игры для двух игроков
Ponomarev переименовал страницу Викиконспекты:Интерпретация булевых формул с кванторами как игр для двух игроков в [[Булевые формулы с ква…
м
22:24
Булевые формулы с кванторами как игры для двух игроков
Ponomarev переименовал страницу Участник:Ponomarev в Викиконспекты:Интерпретация булевых формул с кванторами как игр для двух игроков: Перен…
м
22:22
Исчисление предикатов
‎Интерпретация булевых формул с кванторами как игр для двух игроков
22:22
-5317
Булевые формулы с кванторами как игры для двух игроков
Новая страница: « Во многих теоремах присутствуют утверждения с кванторами «для всех» и «существует». От…»
22:20
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
‎Простой алгоритм
21:50
+7
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
‎Алгоритм Хопкрофта
21:46
+18
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
‎Простой алгоритм
21:38
-1
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
‎Простой алгоритм
21:38
+1
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Нет описания правки
21:37
+6
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
‎Алгоритм Хопкрофта
21:35
+6
Доказательство нерегулярности языков: лемма о разрастании
‎Пример языка, удовлетворяющего стандартной версии леммы
21:27
+2
Доказательство нерегулярности языков: лемма о разрастании
‎Пример нерегулярного языка, для которого выполняется лемма о разрастании
21:26
+6
Доказательство нерегулярности языков: лемма о разрастании
‎Источники информации
21:20
Доказательство нерегулярности языков: лемма о разрастании
‎Источники
21:19
+21
Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
21:17
+15
Простой сопоставитель регулярных выражений
‎Алгоритм
21:15
+18
Простой сопоставитель регулярных выражений
‎Модификации
21:07
Прямое произведение ДКА
Нет описания правки
20:50
+18

Вклад участника

Ponomarev

10 марта 2018

Доказательство нерегулярности языков: лемма о разрастании

Доказательство нерегулярности языков: лемма о разрастании

Теория формальных языков

Булевые формулы с кванторами как игры для двух игроков

Булевые формулы с кванторами как игры для двух игроков

Булевые формулы с кванторами как игры для двух игроков

Исчисление предикатов

Булевые формулы с кванторами как игры для двух игроков

Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))

Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))

Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))

Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))

Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))

Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))

Доказательство нерегулярности языков: лемма о разрастании

Доказательство нерегулярности языков: лемма о разрастании

Доказательство нерегулярности языков: лемма о разрастании

Доказательство нерегулярности языков: лемма о разрастании

Доказательство нерегулярности языков: лемма о разрастании

Простой сопоставитель регулярных выражений

Простой сопоставитель регулярных выражений

Прямое произведение ДКА

8 марта 2018

Алгоритм "Вперед-Назад"

Примеры использования Марковских цепей

Примеры использования Марковских цепей

Примеры использования Марковских цепей

Примеры использования Марковских цепей

Примеры использования Марковских цепей

Примеры использования Марковских цепей

Примеры использования Марковских цепей

Регулярная марковская цепь

Эргодическая марковская цепь

Эргодическая марковская цепь

Эргодическая марковская цепь

Эргодическая марковская цепь

Эргодическая марковская цепь

Эргодическая марковская цепь

Эргодическая марковская цепь

Навигация

Поиск