Мова та метамова

<означення змінних> ::= [ 'var '<список імен> ':' <ім'я типу> ';'

{ ['var ']<список імен>':'<ім'я типу>';' }

]

<ім'я типу> ::= 'integer' | 'boolean'

Оператори мови Паскаль, на відміну від означень, не закінчуються роздільником ';', і синтаксис непорожньої послідовності операторів задається РБНФ

<послід. операторів> ::= <оператор> {';' <оператор>}

Приклад 5. Розглянемо вирази з цілими сталими, в яких можуть бути виклики одномісної функції odd. Виразом є ціла стала, а також:

1.вираз у дужках,

2.два вирази й знак бінарної операції між ними,

3.вираз із знаком унарної операції на початку,

4.виклик функції odd із виразом у дужках.

Ці неформальні, але однозначні правила легко перекладаються на мову БНФ. Нехай позначає вираз (англійське Expression), – сталу (Constant), – знак бінарної (двомісної) операції (Binary Operation Sign), – знак унарної (одномісної) операції (Unary Operation Sign), – ім'я функції (Function Name). Тоді

::= | '('')' | |

| '('')'

::= <Ц>{<Ц>}

(уточнення інших нетерміналів залишається читачеві, див. підр. 2.2 ). 

4. Синтаксичні діаграми

Мова форм Бекуса-Наура – не єдина метамова для описання структури конструкцій мов програмування. Досить поширеною є також метамова синтаксичних діаграм.

В основі цієї метамови також лежать нетермінальні й термінальні символи. Але тут вони записуються у прямокутниках та колах (овалах) відповідно. Наприклад, нетермінали та <оператор> позначаються так:

Відповідно термінальні символи '(' та else мають вигляд

Порядок символів у метавиразах задається стрілками, наприклад:

Альтернативні метавирази задаються розгалуженням стрілок. Наприклад, якщо E1, E2 – метавирази, то E1 | E2 має такий вигляд:

Можливість присутності або відсутності якоїсь частини виразу задається аналогічно, тільки одна з альтернатив порожня. Наприклад, структура операторів розгалуження задається так: