Различия формальных грамматик языков

Различия в семантике языков.

Различие в структуре языков.

Различия в организации языков.

Различия языков программирования.

Общие особенности языков программирования и трансляторов

Семантический анализ.

Семантика – это все то, что не описывается синтаксисом и лексикой языка.

Семантический анализатор, являющийся компонентой компилятора, производит проверку исходных операторов на соответствие семантики данного языка программирования (осуществляет семантический анализ); ставит в соответствие синтаксически и семантически правильным конструкциям объектный код, т. е. происходит генерация кода.

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

Каждая из предметных областей предъявляет свои требования к организации самого языка, поэтому можно отметить разнообразие форм представления операторов и выражений, различие в наборе базовых операций, снижение эффективности программирования при решении задач, не связанных с предметной областью. Языковые различия отражаются и в структуре трансляторов.

Структура языка характеризует иерархические отношения между его понятиями, которые описываются синтаксическими правилами. Языки программирования могут сильно отличаться друг от друга по организации отдельных понятий и по отношениям между ними.

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

4. Различия в парадигмах программирования языков.

Наряду с традиционным процедурным (императивным) программированием, существуют такие парадигмы, как функциональное (модульное) программирование, логическое программирование и объектно-ориентированное программирование. Структура понятий и объектов языков в большой степени зависит от выбранной парадигмы, что также влияет на реализацию транслятора.

Грамматикой языка называется система правил, описывающих язык программирования.

Один и тот же язык может быть реализован нескольким способами, поскольку теория формальных грамматик допускает различные методы разбора одних и тех же предложений. В соответствии с этим трансляторы разными способами могут получать один и тот же результат (объектную программу) по первоначальному исходному тексту.

Дата добавления: 2014-01-11