SCI Библиотека

Учебник содержит материал по дисциплине «Теория автоматов и формальных языков»: языки, операции над языками, порождающие грамматики, конечные автоматы, регулярные выражения, автоматы с магазинной памятью, нормальные формы контекстно-свободных грамматик, алгоритмические проблемы для формальных языков.

Учебник адресован, прежде всего, студентам старших курсов, обучающимся по направлениям укрупнённой группы 02.03.00 «Компьютерные и информационные науки».

Учебное пособие является введением в раздел дискретной математики, посвященный способам определения формальных языков. Рассматриваются такие инструменты, как контекстно-свободные грамматики, регулярные выражения и конечные автоматы. Особый упор делается на применение этих понятий в программировании, что позволяет считать заключительные параграфы пособия введением в так называемое автоматно-ориентированное программирование.