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

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

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

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

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

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

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

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

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

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

1. Языки программирования предназначены для облегчения программирования, поэтому их операторы и структуры данных являются более мощными, чем в машинных языках.

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

3. Для любого языка определяется:

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

· множество правильных программ (синтаксис);

· смысл каждой правильной программы (семантика).

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

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

Связь структуры программы с языком программирования называется синтаксическим отображением.

Особенности трансляторов.

Независимо от специфики языка любой транслятор можно считать функциональным преобразователем F, обеспечивающим однозначное отображение X в Y, где X – программа на исходном языке, Y – программа на выходном языке, поэтому сам процесс трансляции формально можно представить:

Y = F(X)

Формально каждая правильная программа X – это цепочка символов из некоторого алфавита A, преобразуемая в соответствующую ей цепочку Y, составленную из символов алфавита B.

III. Структуры, организация, хранение и поиск данных

Структуры данных

Уровню языков программирования соответствуют абстрактные типы и структуры данных.

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

Простые переменные представляют собой данные базовых типов.

Переменные сложных типов отличаются от простых переменных тем, что имеют более одного компонента.

В языках программирования и в трансляторах часто используют различные совокупности данных, организованные определенным образом, которые называются структурами данных, состоящими из элементов и определяющимися правилами, которые устанавливают отношения между ними.