29380

Семантическое дерево как форма представления программ в языковых процессорах САПР

Доклад

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

Семантическое дерево 2 польская запись 3 список тетрад. Семантическое дерево СД модифицированное дерево грамматического разбора из которого исключили вершины соответствующие нетерминальным символам.Пример: E→ET TT→TM MM→E a b cabcДерево разбора:При построении СД скобки не требуются т.

Английский

2013-08-21

38 KB

5 чел.

20) Семантическое дерево как форма представления программ в языковых процессорах САПР.

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

EE+T / T
TT*M / M
M→(E) | a | b| c
a+b*c
Дерево разбора:

При построении СД скобки не требуются т.к. порядок выполнения операций определяется структурой дерева. Таким образом если дерево разбора показывает порядок вывода цепи языка из начальных символов (синтаксис предложения), то СД отражает только порядок выполнения операторов над заданными операндами (семантика предложения).


 

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

39017. Модели методов разработки программного обеспечения информационных систем 158.5 KB
  По определению одного из создателей языка UML Unified Modelling Lnguge Гради Буча: Объектноориентированное программирование ООП это методология программирования основанная на представлении программы в виде совокупности объектов каждый из которых является экземпляром определенного класса а классы образуют иерархию наследования. Леоненкова Самоучитель UML . Методы ООП и ООАП базируются на стандартном языке визуального моделирования UML. Применение методов ООП ООАП и...
39018. Системы регистрации учебных курсов 56 KB
  Системы регистрации учебных курсов Разделы Лекции 3: 3.1 Два вида систем регистрации курсов Лекция 5 будет посвящена применению языка UML к проектированию американской автоматизированной системы АИС регистрации платных учебных курсов университета Истерн Estern Stte University ESU. В этой связи сопоставим автоматизированную систему Истерн с действующей в МИРЭА неавтоматизированной системой регистрации учебных курсов. В любом Вузе в том числе в МИРЭА существует постоянно...
39019. Теория графов и графовые сети 98.5 KB
  Кстати наш вебкурс также представляет собой сложную систему.1 Вебсистемы После построения Интернет и создания на его базе Всемирной паутины World Wide Web WWW в компьютерном мире появились вебинформационные системы или кратко вебсистемы. Под вебсистемой мы будем понимать компьютерную систему работающую на основе Интернет Веб. Можно привести многочисленные примеры конкретных вебсистем.
39020. Веб-системы 69 KB
  Образующие Разделы Лекции 7: 7.1 Образующие Образующие это непроизводные атомарные элементы теории паттернов из которых составляются паттерновые сети. Образующие имеют неотделимые от них связи. В дискретной теории паттернов рассматриваются образующие обладающие конечными числами связей.
39021. Паттерновые сети 44.5 KB
  Паттерновые сети Разделы Лекции 8: 8.1 Абстрактные конкретные и ассоциированные паттерновые сети Из образующих путем попарного соединения их связей составляются паттерновые сети. Две соединенные связи образующих называются связкой паттерновой сети. Каждой связке сети устанавливается отношение связей  соединено которое может иметь значение либо ИСТИНА либо ЛОЖЬ в зависимости от условия соединения связки.
39022. Проектирование экономических информационных 505.5 KB
  Средства структурного анализа и проектирования Метод функционального моделирования SDT Диаграммы потоков данных. Словари данных и спецификации процессов. Моделирование данных. 1 Система управления совокупность взаимодействующих структурных подразделений экономической системы осуществляющих функции управления: планирование определение цели функционирования экономической системы на различные периоды времени; учет отображение состояния объекта управления в результате...
39023. Понятие индустриального проектирования 231.5 KB
  Ключевые аспекты технологии индустриального проектирования: Реорганизация реинжиниринг бизнеспроцессов; Моделирование предметной проблемной области; Средства автоматизированного проектирования ИС CSEсредства; Возможность применения типовых решений типовое проектирование. Понятие и виды бизнеспроцессов Определение. Под бизнеспроцессом БП будем понимать совокупность взаимосвязанных операций работ по изготовлению готовой продукции или выполнению услуг на основе потребления ресурсов. Основные черты бизнеспроцессов: Все...
39024. Автоматизированное проектирование ИС (CASE-технология) 76 KB
  Изначально CSEсредства были ориентированы на разработку ПО. Сейчас чаще всего под такими средствами подразумевают любые средства проектирования ИС и или моделирования предметной области. CSEсредства охватывают все стадии ЖЦ ИС анализ проектирование разработка сопровождение. Инструментальные средства CSEсредства.
39025. Типовое проектирование ИС 58 KB
  Сущность: Является одной из разновидностей индустриального проектирования. Содержание: Процесс проектирования ИС состоит из следующих основных этапов: Разбиение проекта информационной системы на отдельные составляющие компоненты. Основная цель применения ТПР уменьшение трудоемкости и стоимости проектирования и или разработки ИС.