В пособии приведены основные понятия и математические структуры дискретной математики, в частности рассмотрены методы и способы построения, анализа и синтеза конечных автоматов и регулярных языков, порожденных формальными грамматиками. Для усвоения материала разобраны демонстрационные примеры.
Для студентов МГТУ имени Н. Э. Баумана, обучающихся по направлениям «Математика и компьютерные науки» и «Информатика и вычислительная техника».