Описание книги
Учебное пособие содержит систематическое изложение основных математических моделей автоматов и формальных языков, которые применяются в задачах, связанных с проектированием и разработкой программных систем. В издании рассматриваются детерминированные и недетерминированные конечные автоматы (DFA и NFA), контекстно-свободные грамматики, нормальные формы Хомского и Грейбах, а также их приложения в синтаксическом анализе и компиляции. Особое внимание уделено вопросам минимизации автоматов, построению синтаксических деревьев, а также применению этих методов в сфере искусственного интеллекта. Учебное пособие ориентировано на студентов, аспирантов и специалистов в области программной инженерии, теории вычислений и разработки интеллектуальных систем.