Средства за описание на синтаксиса

1. Бакхусови нормални форми (Бакхусова нотация).

Всяка дефиниция в тази нотация може да съдържа метаезикови променливи, константи, метаезикови съюзи.

Метаезикови променливи:

Това са понятия, които са наименования на някакви синтактични единици. В правилно генерирано изречение на описвания език тези променливи не могат да се заменят, трябва да се заместят с езикови константи. За да се отличават от останалият текст, метаезиковите константи се означават с ъглови скоби: , . Метаезиковите променливи се наричат още нетерминални символи на дефиницията, т.е. не спират (не терминират) развитието на граматичната форма по това правило.

Езикови константи:

Елементи на описваният език. Те се пренасят без промяна в генерираната езикова форма. По тази причина носят името дефиниция.

Метаезикови средства:

Те се използват за свързване на променливи и константи, така че дефиницията да бъде по-лесна и четлива.

Използват се следните съюзи:

::= това е, по дефиниция е

| или

стр.1/б

Когато два елемента от една дефиниция са описани един след друг се счита, че между тях е записан съюза (?)

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

Числа с цяла и дробна част:

цифра ::= 0|1|2|3|4|5|6|7|8|9

Всяка от алтернативите е езикова константа.

цяло число без знак ::= цифра|цяло без знак цифра

правилна дроб ::= . цяло без знак

десет. число ::= цяло без знак правилна дроб

Тази нотация не е удачна за езици, които съдържат голям брой опционни и алтернативни форми.

Във връзка с това за описанието на езиците PL и KOBOL са направени добавки. Получената интерпретация се нарича PL-ова или KOBOL-ова нотация.