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

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

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

Литература

• Бауэр Ф.Л., Гооз Г. Информатика. — М: Мир, 1990. — Т. 1,2.

• Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. — Новосибирск: Наука. Сиб. отд-ние, 1986.

• Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991.