Тема: автоматы

Статья

Теория вычислений для всех: автоматы, машина Тьюринга и что нельзя вычислить

Лестница абстрактных машин от конечного автомата до машины Тьюринга, иерархия языков Хомского, разница между «разрешимо» и «распознаваемо», сведения и теорема Райса — и …

#computer science#теория вычислений#автоматы

Статья

Строковые алгоритмы: KMP, Z-функция, Ахо–Корасик, хеширование

Как перестать сравнивать строки наивно: префикс-функция и KMP, Z-функция, автомат Ахо–Корасика для множества образцов, полиномиальное хеширование и его атаки — с кодом, …

#алгоритмы#строки#хеширование

Статья

Префиксные деревья, суффиксные массивы и строковые структуры

Что делать, когда ключ — не число, а последовательность: боры и их сжатые формы, автомат Ахо-Корасик для поиска тысячи шаблонов за один проход, суффиксные массивы с LCP …

#структуры данных#строки#деревья

Статья

Автоматы, формальные языки и грамматики

От алфавита и слова до иерархии Хомского: DFA и NFA, теорема Клини, детерминизация и минимизация, лемма о накачке, контекстно-свободные грамматики и МП-автоматы, …

#математика#формальные языки#автоматы