Описание
В учебном пособии излагаются классические модели, методы, алгоритмы теории формальных языков и грамматик и их применение при построении синтаксически-управляемых трансляторов. Приводятся примеры программной реализации конечных и магазинных автоматов на языке Паскаль, конвертора программ. Рассмотрена технология автоматизированного конструирования синтаксических и лексических анализаторов с использованием системы КАШТАН». Система прилагается к учебному пособию, разработана его авторами, функционирует в операционной среде Windows 95/NT. В системе поддерживается автоматизированная разработка грамматики языка (описание языка с помощью форм Бэкуса — Науэра; проверка их корректности, приведение и структурные преобразования грамматик), автоматический синтез конечных и магазинных распознавателей и их тестирование.
<