formal_languages_translation_theory (Формальные грамматики), страница 20
Описание файла
PDF-файл из архива "Формальные грамматики", который расположен в категории "". Всё это находится в предмете "программное обеспечение систем автоматизированного проектирования (по сапр)" из 3 семестр, которые можно найти в файловом архиве МГТУ им. Н.Э.Баумана. Не смотря на прямую связь этого архива с МГТУ им. Н.Э.Баумана, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 20 страницы из PDF
Построить грамматику для выражений, содержащих переменные, знаки операций , , ,/ и скобки ( ). Грамматика должна отражать одинаковый приоритет и лево-ассоциативностьвсех четырех операций. Определить действия по переводу таких выражений в ПОЛИЗ.12. Изменить приоритет операций отношения в М-языке — сделать его наивысшим. Построить соответствующую грамматику, отражающую этот приоритет.
Написать синтаксический анализатор, обеспечить контроль типов, задать перевод в ПОЛИЗ.13. Построить КС-грамматику, аналогичную данной,E T {T}T F {F}F (E) | iс той лишь разницей, что в новом языке перед идентификатором будет допускаться унарный минус, имеющий наивысший приоритет (например, a bc допускается и означаетa (b)(c). В созданную грамматику вставить действия по переводу такого выражения вПОЛИЗ. Для каждой используемой процедуры привести ее текст на Си .14.
Дана грамматика, описывающая выражения:E TE E TE | T FT T FT | F PF F ^ PF | P (E) | iВключить в эту грамматику действия по переводу этих выражений в ПОЛИЗ. Для каждойиспользуемой процедуры привести ее текст на Си.112Литература[1]. Д. Грис.
Конструирование компиляторов для цифровых вычислительных машин. — М.:Мир, 1975.[2]. Ф. Льюис, Д. Розенкранц, Р. Стирнз. Теоретические основы проектирования компиляторов. — М.: Мир, 1979.[3]. А. Ахо, Дж. Ульман. Теория синтаксического анализа, перевода и компиляции. — Т.1,2. — М.: Мир, 1979.[4]. Ф.
Вайнгартен. Трансляция языков программирования. — М.: Мир, 1977.[5]. И. Л. Братчиков. Синтаксис языков программирования. — М.: Наука, 1975.[6]. С. Гинзбург. Математическая теория контекстно-свободных языков. — М.: Мир, 1970.[7]. Дж. Фостер. Автоматический синтаксический анализ. — М.: Мир, 1975.[8]. В. Н. Лебедев.
Введение в системы программирования. — М.: Статистика, 1975.[9]. Б. Ф. Мельников. Подклассы класса контекстно-свободных языков. — М.: МГУ, 1995.[10]. В. Н. Пильщиков, В. Г. Абрамов, А. А. Вылиток, И. В. Горячая. Машины Тьюринга иалгоритмы Маркова. Решение задач. — М.:МГУ, 2006.[11]. А. Ахо., Р. Сети, Дж. Ульман. Компиляторы: принципы, технологии, инструменты. —М.: «Вильямс», 2001.[12]. А. Ахо, М. Лам, Р.Сети, Дж. Ульман. Компиляторы: принципы, технологии и инструментарий. — М.: «Вильямс», 2008.113СодержаниеМГУ им.
М. В. Ломоносова ...................................................................................... 2Рецензенты: .............................................................................................................. 2Элементы теории формальных языков и грамматик ............................................. 3Введение ....................................................................................................................................
3Основные понятия и определения ......................................................................................... 3Классификация грамматик и языков по Хомскому ................................................................. 7Грамматики с ограничениями на вид правил вывода .......................................................... 7Иерархия Хомского ............................................................................................................... 9Примеры грамматик и языков ................................................................................................ 11Регулярные ..........................................................................................................................
12Контекстно-свободные........................................................................................................ 12Неукорачивающие и контекстно-зависимые ..................................................................... 13Без ограничений на вид правил (тип 0) .............................................................................. 13Замечание о связи между языком и грамматикой .............................................................. 14Разбор цепочек ........................................................................................................................ 15Преобразования грамматик ....................................................................................................
19Алгоритм удаления недостижимых символов ................................................................... 19Алгоритм удаления бесплодных символов ........................................................................ 19Алгоритм приведения грамматики ..................................................................................... 20Алгоритм устранения правил с пустой правой частью ..................................................... 20Элементы теории трансляции ............................................................................... 21Введение ..................................................................................................................................
21Разбор по регулярным грамматикам ...................................................................................... 22Алгоритм разбора по диаграмме состояний....................................................................... 24Пример разбора цепочки..................................................................................................... 27О недетерминированном разборе .......................................................................................
28Регулярные выражения ....................................................................................................... 34Задачи лексического анализа .................................................................................................. 35Лексический анализатор для М-языка................................................................................
37Синтаксический анализ........................................................................................................... 47Метод рекурсивного спуска ................................................................................................ 48Нисходящий анализ с прогнозируемым выбором альтернатив ........................................ 52О применимости метода рекурсивного спуска ..................................................................
53Задача разбора для неоднозначных грамматик .................................................................. 65О других методах распознавания КС-языков.................................................................... 66Синтаксический анализатор для М-языка .......................................................................... 67Семантический анализатор для М-языка ...........................................................................
74Генерация внутреннего представления программ ................................................................. 81Язык внутреннего представления программы ................................................................... 81Синтаксически управляемый перевод ................................................................................ 85114Генератор внутреннего представления программы на М-языке ....................................... 87Интерпретатор ПОЛИЗа для модельного языка ................................................................ 89Задачи .....................................................................................................................
93I. Грамматики и языки. Классификация по Хомскому .......................................................... 93II. Регулярные грамматики, конечные автоматы, разбор по ДС ........................................... 99III. Метод рекурсивного спуска. КС-грамматики с действиями ......................................... 103IV. Синтаксически управляемый перевод ............................................................................ 108V. ПОЛИЗ, перевод в ПОЛИЗ ..............................................................................................
109Литература ............................................................................................................ 113115.
