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

Отредактировано Лис (2025-01-20 09:37:25)