Блок - синтаксический анализ
Cтраница 1
Блок синтаксического анализа предназначен для выявления синтаксической правильности ( или ошибочности) закодированной совокупности операторов и формирования управляющей информации. [1]
Однако блоки синтаксического анализа составляют не более 20 - 30 % компилятора, поэтому для полного решения проблемы автоматического создания трансляторов необходимо разработать практичный стандартный способ описания семантики языков программирования, допускающий формальное преобразование в язык машины. [2]
Кроме блока синтаксического анализа по признакам классический транслятор содержит ряд генерирующих блоков, каждый из которых переводит элементы определенного вида в группы команд машины, и блок редактирования, который производит распределение памяти для составляемой программы, присвоение ее командам истинных адресов и окончательное ее оформление. Предварительным обычно является блок синтаксического контроля, до трансляции выявляющий синтаксические ошибки, возможные виды которых при таком методе трансляции определяют умозрительно или на основе эксперимента. [3]
Кроме блока синтаксического анализа по признакам, классический транслятор содержит ряд генерирующих блоков, каждый из которых переводит элементы определенного вида в группы команд машины, и блок редактирования, который производит распределение памяти для составляемой программы, присвоение ее командам истинных адресов и окончательное ее оформление. Предварительным обычно является блок синтаксического контроля, до трансляции выявляющий синтаксические ошибки, возможные виды которых при таком методе трансляции определяют умозрительно или на основе эксперимента. [4]
В состав блока синтаксического анализа входят подблоки, позволяющие путем семантического дистрибуционного анализа сообщения разрешать омонимию или полисемию отдельных его сегментов. [5]
Сформированная блоком ЛЕКСА 5у - строка передается блоку синтаксического анализа ( СИНТА), который осуществляет поиск и распознавание синтаксических ошибок в конструкциях операторов ОГРА-1; восходящий грамматический разбор и каноническое свертывание [60 ] символов S-строки в нетерминальный символ ( Sy-строка), если все конструкции правильные; обращение к семантическим подпрограммам блока БСЕП ( см. рис. 79) в вершинах деревьев синтаксического разбора. [6]
Ее необходимо подготовить к грамматическому разбору в блоке синтаксического анализа, поэтому на первом этапе трансляции Li-строка преобразуется в 5у - строку. Последняя содержит информационную часть оператора в форме односимвольных кодов всех терминальных и некоторых нетерминальных символов - этикеток, параметров, числовых констант, текстовых фрагментов. [7]
Поскольку добавление слоя и коррекция частично проводятся в синтаксических терминах ( для описаний), они должны быть совмещены с трансляцией. В связи с этим инструментальный транслятор должен иметь блок синтаксического анализа, в котором выполняются также печать и коррекция. [8]
 |
Схема взаимодействия различных групп проектировщиков. [9] |
Для выделения лексического анализатора в качестве самостоятельной фазы детерминированного разбора предложений проблемно-ориентированного языка целесообразно использовать понятия однолитерных разделителей, которые включаются в состав грамматик. При этом будем считать обязательным соблюдение следующих условий: 1) разделителем для проблемно-ориентированных языков отдельных этапов диалога должен быть признак конца анализируемого поля видеотерминальной формы; 2) все разделители, кроме пробела, являются самостоятельными лексемами. С учетом соблюдения указанных условий разработан универсальный для всех этапов диалога блок лексического анализа запросов пользователей, который функционирует под непосредственным управлением со стороны блока синтаксического анализа. Однако его традиционная конструкция недостаточна для управления процессом разбора запросов пользователя и требует существенной модернизации. [10]
Грамматический разбор заключается в том, что правила дедуктивной порождающей грамматики применяют в обратном направлении. Для языков программирования эти правила являются подстановками, а их применение в обратном направлении за ключается в том, что вместо каждой подстановки вида P - - Q, принадлежащей грамматике, производится подстановка Q - - P. При этом в составе преобразуемой входной программы единственным образом ( если грамматика удовлетворяет определенным условиям) выявляются группы символов, соответствующие нетерминальным символам грамматики, являющимся названиями типов основных элементов входной программы. В конечном счете выявляются все основные элементы, которые генерирующими блоками транслятора переводятся в группы команд. Затем редактирующий блок производит распределение памяти для сос-тавляемой программы, присвоение истинных адресов ее командам и окончательное ее оформление. Синтаксический контроль может выполняться блоком синтаксического анализа. [11]
Грамматический разбор заключается в том, что правила дедуктивной порождающей грамматики применяют в обратном направлении. Для языков программирования эти правила являются подстановками, а их применение в обратном направлении заключается в том, что вместо каждой подстановки видаР - - Q, принадлежащей грамматике, производится подстановка Q - P. При этом в составе преобразуемой входной программы единственным образом ( если грамматика удовлетворяет определенным условиям) выявляются группы символов, соответствующие нетерминальным символам грамматики, являющимся названиями типов основных элементов входной программы. В конечном счете выявляются все основные элементы, которые генерирующими блоками транслятора переводятся в группы команд. Затем редактирующий блок производит распределение памяти для составляемой программы, присвоение истинных адресов ее командам и окончательное ее оформление. Грамматике, применяемой при грамматическом разборе, обычно придают удобный вид таблицы. Синтаксический контроль может выполняться блоком синтаксического анализа. [12]
Страницы: 1