Теория формальных грамматик и автоматов

4 - использование теории формальных грамматик в качестве инструмента конструирования лексических, синтаксических, контекстных анализаторов и генераторов; - описание существенных компонентов транслятора; - методы документирования формальных языков. В целом изложение теории формальных грамматик и автоматов ориентировано на практическое использование в области конструирования трансляторов. Рассматривается технология построения трансляторов: от описания языка в виде формальной грамматики – к получению программного кода компонентов транслятора через систему формальных преобразований. Ключевым моментом изложения является идея, заключающаяся в том, что вся творческая составляющая разработки транслятора замыкается на получении формальной грамматики, а дальнейшая работа по реализации транслятора в виде программного кода носит в значительно степени формальный характер. Указанный подход гарантирует разработку транслятора в кратчайшие сроки с минимальным количеством ошибок при условии корректности исходной грамматики. Методическое пособие состоит из четырех частей. В первой части рассмотрены общие понятия языкознания, необходимые для изучения последующих разделов. Вторая часть представляет собой описание формального языка, изложение теории формальных грамматик и автоматов. Приведены сведения и приемы, являющиеся существенными для конструирования трансляторов. Третья часть посвящена технологии конструирования трансляторов. Рассматриваются методы построения лексического, синтаксического, контекстного анализаторов, а также – генератора результирующего текста транслятора. Изложение третьей части содержит уточнение особенностей формальных грамматик, существенных для построения компонентов транслятора. Кроме того, приведены сведения по построению