Математическая теория формальных языков
Синтаксические моноиды
Множества правых контекстов
Минимизация детерминированных конечных автоматов
Множества двусторонних контекстов
Классы эквивалентности слов
Начало