Синтаксическая диаграмма

Синтаксическая диаграмма (Syntax diagram) - графовый способ представления контекстно-свободной грамматики (КС-грамматики), который наряду с текстовой формой ее представления, получившей название Бэкуса-Наура формы (или БНФ), широко используется при описании синтаксиса реальных языков программирования.

При задании конкретной КС-грамматики используется столько синтаксических диаграмм, сколько в грамматике нетерминалов. Синтаксическая диаграмма, соответствующая некоторому нетерминалу [math]\displaystyle{ X }[/math], представляет собой граф с двумя выделенными вершинами: начальной и конечной. Отличные от начальной и конечной вершины графа помечены терминальными и нетерминальными символами таким образом, что множество цепочек, получаемых выписыванием пометок вершин путей по графу от его начальной вершины до конечной, в точности совпадает с множеством цепочек, непосредственно выводимых из [math]\displaystyle{ X }[/math].

Литература

[Словарь],

[Бауэр-Гооз],

[Касьянов-Поттосин]