Общие Требования к ла

Обозначение

Смысл

::=

"по определению есть"

|

"или" (задание альтернативы)

[X]

0 или 1 раз появление X

{X}

0 или

более раз появление X

(X|Y)

выбор: или X или Y

xyz

терминальный символ xyz (подчеркнуто жирный)

Определение_типов

нетерминальный символ "Определение_типов" ( курсивом )

^{Определение_типов}

^::=

^{Type Определение_типа ;}

^{{ Определение_типа ; }}

^{Определение_констант}

^::=

^{Const Определение_константы ;}

^{{ Определение_константы ; }}

^{Объявление_переменных}

^::=

^{Var Объявление_переменной ;}

^{{ Объявление_переменной ;}}

^{Объявление_процедур_и_функций}

^::=

^{{(Объявление_процедуры | Объявление_функции);}}

^{Определение_типа}

^::=

^{ID = Тип}

^{Определение_константы}

^::=

^{ID = Константа}

^{Объявление_переменной}

^::=

^{Список_идентификаторов : Тип}

^{Объявление_процедуры}

^::=

^{Procedure ID ( Список_формальных_параметров ) ;}

^{( Блок | Forward )}

^{Объявление_функции}

^::=

^{Function ID ( Список_формальных_параметров ) :}

^{Тип_результата ; ( Блок | Forward )}

^{Список_формальных_параметров}

^::=

^{[ Список_идентификаторов : ID}

^{{ ; Список_идентификаторов : ID } ]}

^{Составное_действие}

^::=

^begin

^{Последовательность_действий}

^end

^{Последовательность_действий}

^::=

^{Действие { ; Действие }}

^{Действие}

^::=

^{Простое_действие | Сложное_действие}

^{Простое_действие}

^::=

^{[ (Действие_присваивания |}

^{Действие_вызова_процедуры) ]}

^{Действие_присваивания}

^::=

^{Переменная := Выражение}

^{Действие_вызова_процедуры}

^::=

^{ID ( Список_фактических_параметров )}

^{Сложное_действие}

^::=

^{Составное_действие |}

^{IF Выражение THEN Действие [ ELSE Действие ]1 |}

^{WHILE Выражение DO Действие |}

^{FOR ID := Выражение TO Выражение DO Действие}

^Тип

^::=

^{ID |}

^{ARRAY [ Диапазон_индекса ] OF Тип |}

^{RECORD Список_полей END |}

^{Константа .. Константа}

^{Диапазон_индекса}

^::=

^{ID |}

^{Константа .. Константа}

^{Тип_результата}

^::=

^ID

^{Список_полей}

^::=

^{[ Список_идентификаторов : Тип}

^{{ ; Список_идентификаторов : Тип } ]}

^{Константа}

^::=

^{[ Знак ] INT | STRCONST}

^{Выражение}

^::=

^{Простое_выражение [ Знак_отношения Простое_выражение ]}

^{Знак_отношения}

^::=

^{< | <= | > | >= | <> | =}

^{Простое_выражение}

^::=

^{[ Знак ] Слагаемое}

^{{ Аддитивная_операция Слагаемое }}

^{Аддитивная_операция}

^::=

^{+ | - | or}

^{Слагаемое}

^::=

^{Множитель}

^{{ Мультипликативная_операция Множитель }}

^{Мультипликативная_операция}

^::=

^{* | div | mod | and}

^{Множитель}

^::=

^{INT | STRCONST | Переменная |}

^{Вызов_функции | not Множитель |}

^{( Выражение )}

^{Вызов_функции}

^::=

^{ID ( Список_фактических_параметров )}

^{Переменная}

^::=

^{ID Выбор_компоненты}

^{Выбор_компоненты}

^::=

^{[ ( . ID Выбор_компоненты |}

^{[ Выражение ] Выбор_компоненты ) ]}

^{Список_фактических_параметров}

^::=

^{[ Выражение { , Выражение } ]}

^{Список_идентификаторов}

^::=

^{ID { , ID }}

^Знак

^::=

^{+ | -}