29378

Грамматический разбор методом операторного предшествования

Доклад

Информатика, кибернетика и программирование

Метод операторного предшествованияДанный метод относится к классу восходящих методов синтаксического анализа.Дерево разбора:Идея метода: входная цепочка символов просматривается слева направо пока не будет найдено подвыражение имеющее более высокий уровень предшествования чем соседние операторы. Для реализации метода необходимо установить отношение предшествования между всеми парами операторов грамматики.

Английский

2013-08-21

68.5 KB

11 чел.

16) Грамматический разбор методом операторного предшествования.

Метод операторного предшествования
Данный метод относится к классу 
восходящих методов синтаксического анализа. Он основан на анализе пар соседних операторов исходной программы с целью определения таких операторов в каждой паре, которые должны быть выполнены и распознаны первыми. 
Пример: в соответствии с правилами арифметики умножение должно выполняться раньше сложения. Для метода в этом случае говорят, что «*» предшествует «+» или «*» имеет более высокий уровень предшествия: * •> + 
A+B*C–D, для целого выражения: + <• * •> – 
Это соотношение указывает, что B*C выполняется первым.
Дерево разбора:

Идея метода: входная цепочка символов просматривается слева направо, пока не будет найдено подвыражение, имеющее более высокий уровень предшествования, чем соседние операторы. Затем оно распознаётся с использованием продукций грамматики языка и заменяется 1 нетерминальным символом. Параллельно строится соответствующий фрагмент дерева разбора. Процедура повторяется до тех пор, пока входная цепочка не будет свёрнута до одного нетерминального символа. Считается, что это корень дерева разбора и процесс завершён успешно. 
Для 
реализации метода необходимо установить отношение предшествования между всеми парами операторов грамматики. При этом оператор – все терминальные символы грамматики.
В общем случае между парой терминальных символов a и b некоторой грамматики возможны следующие виды отношений предшествования: 1) a <• b 2) a •> b 3)a = • b 4) отношения предшествования между a и b не существует. 
1) и 2) показывают, что a и b входят в синтаксические единицы языка, распознаваемые отдельно друг от друга. Третий случай означает, что a и b принадлежат одной синтаксической конструкции и распознаются в результате применения одной продукции грамматики. Четвёртый случай означает, что a и b не могут быть соседними ни в одной грамматически правильной конструкции языка. 
Представления отношений предшествования не являются симметричными. 
При практической реализации таких методов отношения между всеми парами терминальных символов описываются с помощью матрицы предшествования:

EE+T |
TT*M | M
M→(E) | i

Пустая клетка соответствует 4-му случаю.
Матрица предшествования обычно расширяется с помощью служебных символов, ограничивающих входную цепочку слева и справа.

Если матрица предшествования известна, то метод в целом реализуется так: 
1) Во входной строке определяют самую левую подстроку α, имеющую более высокий уровень предшествования, чем соседние символы. 
2) В описанной грамматике найти продукции вида A→α и заменяют цепочку α одним нетерминальным символом. 
3) Построение соответствующего фрагмента дерева разбора. 
4) Повторяем п.1–3, пока не будет найден разбор входной цепи или обнаружена ошибка во входной строке.
Разбор успешен, если входная цепь свёрнута до одного нетерминального символа.
Пояснение к пункту 1: на каждой итерации, за исключением первой, входная цепь – сентенциальная форма грамматики. Выделяемая подстрока α – основа сентенциальной формы. Основа определяется следующими условиями:

Пояснение к пункту 2: выбор необходимых правил вывода осуществляется с учётом структуры правой части конкретной продукции, обозначения нетерминалов при этом не учитывается т.к. нетерминальный символ в таких грамматик соответствует операндам, вся информация о которых уже сохранена в таблице трансляций, важен только факт наличия операнда, а не его обозначения.
Ошибки обнаруживаются так: 1) Нельзя выделить подстроку α на первом шаге. 2) Нельзя найти правило вывода на втором шаге. 3) Во входной цепи появляется два соседних терминальных символа между которых не существует отношения предшествования


 

А также другие работы, которые могут Вас заинтересовать

74523. Конституционная система органов государственной власти в РФ 23.26 KB
  Признаки государственного органа Часть государственного аппарата Образуется в установленном порядке Наделен властными полномочиями Реализует функции государственного управления в пределах своей компетенции Бюджетное финансирование Наличие ресурсов
74524. Федеральное Собрание РФ 30.26 KB
  1994 N 3ФЗ О статусе члена Совета Федерации и статусе депутата Государственной Думы Федерального Собрания Российской Федерации Федеральный закон от 18.2005 N 51ФЗ О выборах депутатов Государственной Думы Федерального Собрания Российской Федерации Федеральный закон от 03.1998 N 137ФЗ О материальном обеспечении членов семьи умершего члена Совета Федерации или депутата Государственной Думы Федерального Собрания Российской Федерации Социальные гарантии депутатам ГД членам СФ По объему социальных гарантий они приравниваются к федеральному...
74525. Правительство РФ 20.9 KB
  Взаимодействие с законодательной судебной властью Президент назначает и смещает Председателя и членов Правительства РФ федеральных министров Президент РФ вправе председательствовать на заседаниях Правительства РФ Перед вновь избранным Президентом Российской РФ Российской Федерации слагает свои полномочия...
74526. Конституционное право как отрасль российского права. Виды, принципы и свойства Конституции РФ 30.63 KB
  Виды принципы и свойства Конституции РФ Отличия отраслей права.Основы конституционного строя России суверенитет народа разделение власти верховенство Конституции. Отношения основанные на системе запретов прямой запрет определенных действий Задание Найдите примеры норм Конституции которые основаны на указанных выше методах
74527. Суверенитет народа и формы его осуществления 35.9 KB
  Запрет принуждения ко вступлению в общественные объединения и пребыванию в них. Запрет создания и деятельности общественных объединений направленных на изменение конституционного строя нарушение целостности РФ подрыв безопасности государства создание вооруженных формирований разжигание расовой социальной национальной религиозной вражды ФЗ РФ Об общественных объединениях. Признаки общественного объединения формирование граждан добровольное самоуправляемое некоммерческое общность интересов общность целей цели закреплены в...
74528. Объективная сторона преступления 130.5 KB
  Объективная сторона преступления. Понятие и содержание объективной стороны состава преступления. Факультативные признаки объективной стороны преступления и их значение. Понятие и содержание объективной стороны состава преступления.
74529. Субъект преступления 101.5 KB
  Субъект преступления Понятие и признаки субъекта преступления Вменяемость. Возраст уголовной ответственности Специальный субъект преступления. Понятие и признаки субъекта преступления Субъект преступления и его признаки определены...
74530. Субъективная сторона преступления 179.5 KB
  Субъективная сторона преступления. Понятие и значение субъективной стороны преступления. Факультативные признаки субъективной стороны преступления мотив цель эмоции. Понятие и значение субъективной стороны преступления.
74531. Объект преступления 44.5 KB
  Объект преступления. Понятие объекта преступления. Виды объектов преступления. Соотношение объекта и предмета преступления.