Помощь в написании студенческих работ
Антистрессовый сервис

Применение алгоритмов теории автоматов, формальных языков и грамматик для построения трансляторов

КурсоваяПомощь в написанииУзнать стоимостьмоей работы

Построение отношений простого предшествования. Тестирование МП-распознавателя. Конструирование лексического анализатора входного языка. Конструирование детерминированного нисходящего LL (1)-анализатора. Синтаксический разбор полученной БНФ. Задание 7. Конструирование восходящего детерминированного SR-анализатора7. 1. Постановка задачи. Задание 6. Построение детерминированного анализатора… Читать ещё >

Применение алгоритмов теории автоматов, формальных языков и грамматик для построения трансляторов (реферат, курсовая, диплом, контрольная)

Содержание

  • ВВЕДЕНИЕ
  • Задание 1. Описание входного языка транслятора
  • Задание 2. Устранение левой рекурсии
  • Задание 3. Приведение КС-грамматики в нормальную форму Хомского
  • Задание 4. Нисходящий синтаксический анализ. Построение распознавателя для заданной грамматики с её проверкой на тип LL (1)
  • Задание 5. Нисходящий синтаксический анализ
    • 5. 1. Постановка задачи
    • 5. 2. Конструирование модели LL (1)-анализа
      • 5. 2. 1. Описание входного языка в виде БНФ
      • 5. 2. 2. Синтаксический разбор полученной БНФ
      • 5. 2. 3. Разбор КС-грамматики
      • 5. 2. 4. Преобразование КС-грамматики к виду LL (1)-грамматики
      • 5. 2. 5. Конструирование детерминированного нисходящего LL (1)-анализатора
      • 5. 2. 6. Конструирование лексического анализатора входного языка
    • 5. 3. Тестирование LL (1)-распознавателя
  • Задание 6. Построение детерминированного анализатора предшествования
  • Задание 7. Конструирование восходящего детерминированного SR-анализатора
    • 7. 1. Постановка задачи
    • 7. 2. Построение SR-распознавателя
      • 7. 2. 1. Описание входного языка в виде БНФ
      • 7. 2. 2. Синтаксический разбор полученной БНФ
      • 7. 2. 3. Разбор КС-грамматики
      • 7. 2. 4. Построение отношений простого предшествования
      • 7. 2. 5. Конструирование лексического анализатора входного языка
    • 7. 3. Тестирование МП-распознавателя
  • Задание 8. Детерминированный восходящий синтаксический анализ
  • Задание 9. Синтаксически-управляемый перевод и синтаксический анализ
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ

Целью данного курсового проекта является:

 изучение методов устранения левой рекурсии в КС-грамматиках;

 приведение грамматики к нормальной форме Хомского;

 изучение технологии построения детерминированного МП-распознавателя по LL (1)-грамматике;

 изучение основных понятий теории грамматик простого предшествования, ознакомление с алгоритмами синтаксического анализа (разбора) для некоторых классов КС-грамматик;

 изучение основных понятий теории детерминированного восходящего разбора, ознакомление с алгоритмами синтаксического анализа (разбора) для классов КС-грамматик, с ослабленными ограничениями;

 изучение основных понятий теории детерминированного восходящего разбора, ознакомление с алгоритмом синтаксического анализа (разбора) для классов КС-грамматик с пересечением отношений предшествования;

 изучение технологии конструирования модели синтаксического анализатора с использованием SRметода синтаксического разбора на примере описания массивов в языке Паскаль;

 изучение структуры МП-преобразователя и схем СУ-перевода, построение недетерминированного нисходящего МП-преобразователя;

 изучение структуры МП-преобразователя и схем СУ-перевода, построение недетерминированного восходящего МП-преобразователя;

 изучение процесса преобразования синтаксического дерева в форму промежуточной программы с помощью трансляционной грамматики.

Для этого необходимо решить следующие задачи:

 описать основные структурные элементы в языка Паскаль в виде БНФ;

Показать весь текст

Список литературы

  1. Бек, Л. Введение в системное программирование. М: Мир, 1988, 256 с. ISBN 124−124−589−6
  2. , А.В. Формальные грамматики и языки. М.: Наука, 1973, 425 с. ISBN 486−59−289−3
  3. , М., Лантен, А. Теория формальных грамматик. М.: Мир, 1971, 236 с. ISBN 236−214−256−23
  4. , Р.И. и др. Системное программирование. Основы построения трансляторов.- СПб.: КОРОНА принт, 2000, 389 с. ISBN 123−896−25−6
  5. , Ф., Розенкранц, Д., Стейрнз, Р. Теоретические основы проектирования компиляторов. М.: Мир, 1979, 725 с. ISBN 125−698−236−23
  6. Рейуорд Смит, В. Дж. Теория формальных языков. Вводный курс. М.: Радио и связь, 1988, 256 с. ISBN 258−369−951−74
Заполнить форму текущей работой