Язык проектирования (метаязык)

Метаязык -это один из способов документирования алгоритмов. Язык проектирование создаётся самими разработчиками “под себя”. Помимо наглядности для разработчика, алгоритм понятен и неспециалисту. В тексте программы на метаязыке допустимо использовать любые выражения, что позволяет гибко управлять степенью детализации. Прог-у на языке проектирования нельзя выполнить. Могут быть созданы автоматические анализаторы (PDL).

В отличии от блок-схем, язык проектирования позволяет описывать типы и структуры данных.

Рекомендации к созданию языка проектирования:

• Язык проектирования состоит из 2-х частей

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

2. общего неопределяемого синтаксиса, пригодного для описания задач в данной области.

· Следует использовать общепринятые управляющие структуры: следование, if then else или do while, repeat until, do case, leave, оператор вызова процедуры.

· Необходимо определить способ обозначения областей действия операторов.

do while (условие)

|

end do

Или могут использоваться отступы:

| if условие then

|_ набор операторов;

Продолжение текста;

Кроме слов end do и end if можно использовать операторные скобки, ограничивающие область действия (begin end, {}).

Но тем не менее обязательно нужно использовать отступы.

· Описание языка проектирования обязательно включается в конструкторскую документацию.

Пример: образец спецификации языка проектирования PDL.

Язык включает в себя следующие группы операторов:

1. Оператор выбора

if выражение

then оператор1;

else оператор2;

где слова оператор 1 и оператор 2 могут обозначать и группу операторов. И в дальнейшем так же.

2. Оператор множественного выбора

do case (выражение)

| /индекс1/ оператор1;

| /индекс2/ оператор2;

| …

| /индекс n/ оператор n;

| else оператор n+1;

end;

3. Оператор цикла

3.1 (с предусловием)

do while (выражение)

| операторы;

end;

3.2 (со счетчиком)

do переменная = значение1 to значение2 by значение3

| операторы;

end;

4. Оператор описания данных

declare имя атрибуты(тип); - объявление скалярных переменных.

Объявление массива или векторной переменной:

declare имя(размер) атрибуты(тип);

Допускается и описание более сложных структур данных:

declare 1_A,

_2_B,

_3_C,

_3_D,

_2_E,

_2_F;

Обращение: A.B.D=2;

5. Другие операторы:

5.1 Оператор присваивания

переменная = выражение;

5.2 Оператор вызова процедуры

call имя_процедуры(список фактических параметров);

5.3 Возврат из подпрограммы или функции

return (значение)

5.4 Описание процедуры

Имя_процедуры: procedure (описание формальных параметров);

| тело процедуры

end;

5.5 Оператор ввода get (список переменных)

5.6 Оператор вывода put (список переменных)

6. Предложения на естественном языке

Например:

Наибольший элемент массива А;

Отсортировать список S1 по алфавиту;

A:=E*D;

x(t)=h(t,)y()d с шагом =0,01с

и тд.

Глава 2. Структуры данных.

В стандартных языках программирования имеется предопределенный набор типов данных. Но этот набор типов при решении прикладных задач часто оказывается неполным.

Тип переменной определяет множество значений, которые она может принимать и набор операций, которые можно применять к этой переменной.

Опр. Скалярные переменные - это переменные, тип которых относится к одному из предопределенных типов языка.

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

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