Contur secțiune

    • Эквивалентное преобразование конечного автомата и регулярной грамматики. Теорема FG. Примеры