Методические указания к лабораторным работам по курсу "Теория вычислительных процессов и структур". Домашова Д.В - 4 стр.

     I :: = Б|IБ | IЦ
     N:: = Ц| NЦ
     Б:: = a | b | … | z
     Ц::= 0 | 1 | … | 9
     Правила:
      1) любая переменная должна быть описана
     2) в операторе присваивания типы должны совпадать
     3) Е в условном операторе и в цикле while только логического типа
     4) Е1 в выражениях – только числового типа
     Пример -
     program var k, sum :int; begin k:=l; sum:=0; while k < 10 do
     begin sum:=sum+k; k:=k+l end; write(sum) end.

1.1.2 Описание модельного языка SOL

     Алфавит содержит заглавные русские и латинские буквы, арабские
цифры от 1 до 9 и ограничители:
     <ограничитель> :: =; |/|*|=|(|)|,
     Данные - строки :
     <строка> :: = `[<буква>]...`
     <имя _ строки> ::= <буква>[<буква>|<цифра>]...
     Говорят, что последовательность букв, образующих строку (без
ковычек), является значением этой строки или что имя ссылается на эту
строку.
     Условие: любое имя, используемое в программе, своим начальным
значением имеет пустую строку.

     Программа SOL задает набор и порядок операций над строками; каждой
операции соответствует оператор языка.
     Синтаксис программы:
     <программа> :: =({<оператор>;)...).
     Выполнение программы начинается с первого оператора. Если
очередной оператор не указал своего преемника, то далее выполняется
следующий за ним оператор. Выполнение программы прекращает оператор
останова.
     Операторы:
     <оператор>::={[метка>|<правило>|<переход>]|<специальный
оператор>}
     <метка>::=<число>
     <число>::=<целое число без знака>
     <правило>::=<левая часть>[=[<правая часть>]]
     <левая часть>::=<имя>[<образец>]
     <образец>::={<строка>|<имя>|<переменная с длиной>|<произвольная

                                                                         7