Аноним

Синтаксическая диаграмма: различия между версиями

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


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