Классификация контекстно-свободных языков программирования Хомского. Алгоритмы, позволяющие по регулярному выражению построить эквивалентный недетерминированный автомат. Методы удаления бесполезных символов. Моделирование работы леволинейной грамматики.