Структура программы и ее синтаксис

Синтаксические диаграммы Вирта и структура программы Для описания синтаксиса языка Паскаль будем использовать синтаксические диаграммы, введенные Н. Виртом. Элементы алфавита языка будем заключать в круг, например, или, если они имеют большую длину, в прямоугольник со скругленными углами, например. Понятия, требующие дальнейшей расшифровки, будем заключать в прямоугольник, например или. Понятие, расшифровываемое диаграммой, будем писать в начале диаграммы.

Рассмотрим синтаксическую диаграмму понятия «программа на языке Паскаль».

Синтаксическая диаграмма понятия «программа на языке Паскаль».

На данной диаграмме отражены следующие факты:

• * обязательным элементом программы является только тело программы (в современных версиях Паскаля это именно так);
• * телу программы может (могут) предшествовать заголовок программы и (или) раздел описаний.

Синтаксическая диаграмма понятия «заголовок программы».

Заголовок программы состоит из ключевого слова program, после которого в обязательном порядке должно быть указано имя, а после имени — точка с запятой, например:

program Primer;

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

Синтаксическая диаграмма понятия «тело программы».

Рассмотрим, что представляет собой составной оператор.

Синтаксическая диаграмма понятия «составной оператор».

Последовательность возникновения тех или иных элементов диаграммы в программе определяется изгибами стрелочек. Так запись на рис. 5 означает, что оператор между begin и end может быть или не быть, но если присутствует, то ровно в одном экземпляре.

Пример диаграммы, в которой некоторый элемент встречается 0 или 1 раз Запись на рис. 6 показывает, что операторов может быть много, но если операторов больше одного, то между ними нужно обязательно ставить «точку с запятой» (;).

программирование паскаль константа логический.

Пример диаграммы, в которой некоторый элемент встречается 1 или более раз Таким образом, тело программы с точки зрения языка Паскаль это ноль или больше операторов, ограниченных спереди ключевым словом begin, а в конце ключевым словом end c точкой (end.). В соответствии с этим определением простейшая программа на языке Паскаль имеет вид:

begin.

end.

Данная программа не содержит никаких действий. Она содержит только операторные скобки begin (открывающая скобка) и end (закрывающая скобка), роль которых — объединить группу операторов в единый блок. Причем, поскольку после end стоит точка (.), данный блок имеет особую роль, он определяет всю программу. В тексте программы так же могут встречаться блоки операторов, оформленные с помощью операторных скобок begin… end, но они уже будут рассматриваться как части программы, а не как вся программа. Синтаксис Паскаля требует, чтобы операторы внутри составного оператора разделялись знаком «точка с запятой» (;). Нужно заметить, что не является ошибкой, если программист ставит точку запятой после каждого оператора, в том числе и после последнего оператора, т. е. перед end. В этом случае лишний знак «точка с запятой» будет трактоваться компилятором как пустой оператор, поскольку имеет место следующее определение:

Синтаксическая диаграмма понятия «пустой оператор».

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

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

1) раздел подключаемых модулей.

uses…

2) раздел описания меток.

label…

3) раздел описания констант.

const…

4) раздел описания типов.

type…

5) раздел описания переменных;

var…

6) раздел описания процедур и функций.

procedure… или function…

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

Раздел описания меток Раздел описания меток начинается с ключевого слова label, его синтаксис представлен на рис. 8.

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

Синтаксическая диаграмма для оператора перехода Использование меток и операторов перехода в программе ухудшает ее понятность и затрудняет поиск ошибок. Э. Дейкстра и Н. Вирт сформулировали принципы структурного программирования, согласно которым любая программа может быть написана с использованием трех базовых конструкций: последовательное исполнение, ветвление, цикл. Поскольку использование методологии структурного программирования повышает эффективность труда программистов, подавляющее большинство из них используют эти принципы в своей работе, и поэтому раздел label и метки в настоящее время практически не используются. В Паскале АВС раздел label не реализован.