Résumé de section

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