Описание:Курс посвящен теории формальных языков – важнейшему разделу теоретической информатики. Рассматриваются порождающие грамматики и представления языков графами (L-графы), классификация формальных языков по Хомскому, регулярные выражения, конечные и магазинные автоматы, алгоритмические проблемы, связанные с формальными языками. Приводятся примеры использования в программировании, лингвистике, биологии.