Метаобозначения

Машинный и алгоритмический языки

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

Пример. Команда сложения из системы команд одного из устаревших типов компьютеров.

01 0016 0022 0012

Здесь:

- 01 – код операции сложения,

- 0016 – адрес 1 операнда,

- 0022 – адрес 2 операнда,

- 0012 – адрес, куда помещается результат операции.

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

- плохая наглядность – текст программы слабо согласуется с любой из форм записи алгоритма;

- не выявляется внутренняя структура алгоритма;

- немобильность – невозможность переноса программы на другой тип процессора без практически полной ее переделки из-за разной системы команд;

- трудность внесения изменений и отыскания ошибок;

- большой объем.

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

Программа на алгоритмическом языке предварительно должна быть переведена на машинную систему команд. Для этой цели различными фирмами были разработаны специальные программы – трансляторы, которые вместе со средствами подготовки текстов, отладки программ и другими, составляют интегрированную среду разработки ( IDE – Integrated Development Environment ).

Метаязык – это язык для описания другого языка. Наиболее распространенными метаязыками для описания языков программирования являются нотация Бэкуса-Наура (БНФ) и синтаксические диаграммы. В данном пособии принята следующая система описаний правил и понятий языков программирования:

- := - фраза "это есть";

- { } – обязательный элемент конструкции; значение выбирается из нескольких альтернатив;

- [ ] – необязательный (optional) элемент конструкции;

- ... – предыдущий элемент конструкции может повторяться произвольное число раз;

- | - фраза "или";

- <... > - используется для обозначения понятий, а не конструкций языка.

Пример.

dim <список>

<список>:=<элемент>[,<элемент>]...

<элемент>:={<переменная>|<массив>} as <тип>

Дата добавления: 2014-12-27