Информатика и вычислительная техника
  • формат doc
  • размер 1.08 МБ
  • добавлен 11 марта 2011 г.
Топоркова О.М. Анализ и синтез формальных текстов
Топоркова О. М. Анализ и синтез формальных текстов: Учебн. пособ. по разделу дисциплины «Системное программное обеспечение». – Калининград: КГТУ, 2009, 116 с.

Рассмотрены основные способы организации фаз анализа и синтеза формальных текстов, которые используются в компиляторах и интерпретаторах при распознавании вводимых формальных конструкций. Описываются приемы моделирования грамматики и семантики формального текста, а также формирование правил перевода с одного формаль-ного языка на другой.

Содержание:
Лексический анализ (сканирование)
Моделирование лексики формального языка
Моделирование лексического анализа. Непрямой лексический анализ
Прямой лексический анализ
Выделение лексем и определение их типов
Формирование таблиц и кодирование цепочки
Алгоритмизация прямого лексического анализа
Обнаружение ошибок при прямом лексическом анализе
Синтаксический анализ (разбор)
Моделирование синтаксиса формального языка
Моделирование синтаксического анализа и его результатов
Синтаксический анализатор как автомат с магазинной памятью
Обработка тупиковых ситуаций
Семантический анализ
Моделирование семантики языка программирования
Моделирование семантического анализа. Определение семантической корректности программы
Семантический анализ, совмещенный с разбором
Семантический анализ как самостоятельная фаза компиляции
Семантический анализатор как конечный автомат
Модификация таблицы имен
Генерация промежуточного представления
Моделирование правил перевода
Моделирование перевода
Похожие разделы
Смотрите также

Алёшин А.В. Теория языков программирования и методы трансляции

  • формат doc
  • размер 1.06 МБ
  • добавлен 24 июня 2010 г.
Алёшин Александр Владимирович Теория языков программирования и методы трансляции Конспект лекций для студентов очной формы обучения специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем Содержание: Теория языков и формальных грамматик Способы определения языков Формальные грамматики Грамматики с ограничениями на правила Способы записи синтаксиса языка распознаватели Метаязык Хомского Ме...

Волкова И.А., Руденко Т.В. Формальные грамматики и языки. Элементы теории трансляции

  • формат doc
  • размер 552 КБ
  • добавлен 02 ноября 2010 г.
Московский государственный университет им. М. В. Ломоносова Факультет вычислительной математики и кибернетики 1999г, 62с Элементы теории формальных языков и грамматик. Классификация грамматик и языков по хомскому. Примеры грамматик и языков. Задача разбора. Преобразования грамматик. Элементы теории трансляци. Описание модельного языка. Лексический анализ. О недетерминированном разборе. Задачи лексического анализа. Лексический анализатор для М-яз...

Карпов В.Э. Теория компиляторов

  • формат pdf
  • размер 1.25 МБ
  • добавлен 21 октября 2011 г.
Учебное пособие. - 2-е изд. М., 2010. – 91 стр. ISBN 5–230–16344–5 Рассматриваются основы теории формальных языков, приводятся методы и алгоритмы построения основных частей трансляторов и интерпретаторов. Для студентов, изучающих курсы «Системное программное обеспечение», «Теория компиляторов» и аналогичные. В настоящем пособии излагаются основы классической теории компиляторов – одной из важнейших составных частей системного программного обесп...

Карпов Ю.Г. Основы построения трансляторов

  • формат djvu
  • размер 7.81 МБ
  • добавлен 07 июня 2010 г.
2005 г. Целью книги является постановка базовых проблем теории формальных языков, разъяснение задач построения трансляторов. Представлена основная концепция трансляции - синтаксически ориентированная обработка предложений входного языка. В рамках этой концепции рассматриваются основные этапы трансляции: восстановление структуры входного текста, вычисление смысла по этой структуре, формирование выхода транслятора на основе структуры входного пред...

Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов

  • формат djvu
  • размер 5.73 МБ
  • добавлен 04 августа 2011 г.
Addison Wesley Publishing company,1976 г. - 655 c. Перевод книги под ред. Агафонова В.Н. - изд."Мир", 1979 г. В книге известных американских специалистов излагаются математические понятия и методы теории автоматов и формальных грамматик, лежащие в основе проектирования компиляторов, и показывается, как их применять на практике. Применение теории детально продемонстрировано на примере компилятора для учебного языка программирования. Разработанн...

Мартыненко Б.К. Языки и трансляции

  • формат pdf
  • размер 2.62 МБ
  • добавлен 01 октября 2010 г.
Учеб. пособие. СПб.: Издательство С. -Петербургского университета, 2003. 235 с. В учебном пособии излагаются основы математической теории формальных языков и трансляций, знание которой необходимо всем, кто работает в области теоретической или прикладной информатики. Излагаются основные факты теории с доказательствами. Содержание основано на материалах лекций, читавшихся автором в разные годы на математико-механическом факультете С. -Петербургско...

Миронов С.В. Языки программирования и методы трансляции

  • формат pdf
  • размер 1.04 МБ
  • добавлен 08 июля 2011 г.
Саратовский государственный университет. Преподаватель: Миронов Сергей Владимирович. 122 страницы. Содержание: Первый семестр. Языки программирования. Исторический очерк развития ЯП (3 периода). Парадигмы программирования (императивное, параллелизм, объектно-ориентированное, функциональное, логическое). Фазы компилятора (лексический, синтаксический, семантический анализ, обнаружение ошибок, генерация промежуточного кода, оп). Множества и отноше...

Миронов С.В. Языки программирования и методы трансляции

  • формат pdf
  • размер 1.43 МБ
  • добавлен 08 июля 2011 г.
Слайды к лекциям. Саратовский государственный универистет. Преподаватель: Миронов Сергей Владимирович. Содержание: Фазы трансляции на примере. Лексический анализ. Синтаксический анализ. Семантический анализ. Генерация промежуточного кода. Оптимизация кода. Генерация целевого кода. Множества. Операции над множествами. Отношения. Отношение порядка. Вложение частичного порядка в линейный. Пример. Формальные языки. Алфавит и цепочки. Операции над...

Серебряков В.А. Лекции по конструированию компиляторов

  • формат doc
  • размер 1.22 МБ
  • добавлен 16 мая 2009 г.
Предмета: лексический и синтаксический анализ, организация памяти, генерация кода. Сделана попытка на протяжении всего изложения провести единую "атрибутную" точку зрения на процесс разработки компилятора. В книге не затрагиваются чрезвычайно важные вопросы глобальной оптимизации и разработки компиляторов для машин с параллельной архитектурой. Автор надеется восполнить эти пробелы в будущем. Книга будет полезной как студентам и аспирантам програм...

Хантер Р. Основные концепции компиляторов

  • формат pdf
  • размер 59.93 МБ
  • добавлен 07 декабря 2010 г.
Эта небольшая, но емкая книга является введением в теорию создания компиляторов, а также кратким описанием принципов их работы. Материал изложен в расчете на читателя, не знакомого с данным предметом. В тексте предлагаются рекомендации по дополнительной литературе и даны подсказки по средствам инструментальной поддержки. ОГЛАВЛЕНИЕ. Предисловие. Введение в процесс компиляции. Определение языка. Лексический анализ. Нисходящий синтаксический анали...