Введение в синтаксис языка CF-Pascal

НАПИСАНИЕ ПРОГРАММ НА ЯЗЫКЕ CF-PASCAL

В этом разделе мы узнаем о том, как писать простые программы на языке CF-Pascal, проверять корректность синтаксиса и использовать принципы проектирования и разработки программ в процессе пошагового совершенствования написания, исполнения и тестирования простейших программ.

Введение в синтаксис языка CF-Pascal

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

Новые идеи: Синтаксис программы, нотация BNF, синтаксическое правило, альтернативное синтаксическое правило, рекурсивное синтаксическое правило, доказательство синтаксической корректности.

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

Аналогично, для того, чтобы писать на CF-Pascal, тоже необходимо овладеть синтаксисом, чтобы быть способным писать операторы и составлять с их использованием программы. Однако CF-Pascal является формальным языком с четко заданным набором синтаксических правил. Эти правила позволяют изучить синтаксис языка гораздо быстрее и полнее, чем это возможно в случае естественных языков. Изучив синтаксис языка, можно смело переходить к вопросу о том, как писать программы для решения предстоящих задач.

Паскаль-машина рассматривает Паскаль-программу как последовательность символов. Люди, в свою очередь, узнают знакомые слова и могут догадаться, что имеется в виду в следующей последовательности символов, не являющейся Паскаль-программой:

PROGRAM CopyChar(INPUT, OUTPUT);

VAR

Ch; CHAR;

BEGIN

READ(Ch);

WRITELN(Ch)

END.

Паскаль-программа, с таким же именем, которая была рассмотрена на предыдущей лекции, выглядит так:

PROGRAM CopyChar(INPUT, OUTPUT);

VAR

Ch: CHAR;

BEGIN

READ(Ch);

WRITELN(Ch)

END.

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

Из-за необходимости составления Паскаль-программ с точностью до символа, эта глава ознакомит вас со строгими правилами синтаксиса языка CF-Pascal. Конечно, эксперименты и примеры полезны во время изучения, но точные и лаконичные правила позволят вам уверенно проверять корректность программ. Изучения языков программирования только по примерам и использования компилятора для проверки синтаксиса приведет не только к ограниченному использованию ЯП, но также создаст неверное понимание о написания программ вообще.