Описание книги
Учебник подготовлен в соответствии с Государственным образовательным стандартом по направлениям "Информатика и вычислительная техника", "Прикладная информатика" для цикла дисциплин информационных специальностей. Основой учебника стал материал, прочитанный автором студентам соответствующих специальностей в Новосибирском государственном техническом университете и Казахстанско-Британском техническом университете в курсах "Теория формальных языков и компиляторов", "Системное программное обеспечение", "Лингвистическое обеспечение".
В учебнике рассмотрена теория порождающих грамматик, конечных автоматов и регулярных выражений. Все теоретические механизмы анализа и синтеза языковых конструкций строго формализованы и составляют теоретические основы проектирования языков программирования. Реализация языков программирования представлена разработкой языковых процессоров. Переход от формальных языков к языковым процессорам выполнен через конструктивные методы анализа со строгими моделирующими алгоритмами, которые могут быть реализованы на языках высокого уровня или с помощью современных средств автоматизации программирования. В учебнике рассмотрены средства ANTLR и FLEX & BIZON для автоматизации программирования парсера и лексера.
Несмотря на образовательную направленность, учебник может быть полезен всем, кто занимается проектированием и реализацией новых языков, языковых процессоров и конечно-автоматных распознавателей.