С помощью регулярных выражений можно производить

Произведение регулярных выражений на переходах пути имеет название

Минимум звездных высот регулярных выражений, задающих язык, называется

Над языками можно производить операции

В регулярных выражениях используются символы, обозначающие

С помощью конечного автомата можно

Автоматы с магазинной памятью можно изображать с помощью

С помощью равенств

Эквивалентность автоматов с магазинной памятью доказывается с помощью

Задание исходного языка с помощью конечного автомата

С помощью контекстно-свободной грамматики и автоматов с магазинной памятью