4194
правки
Синтаксическая диаграмма: различия между версиями
Материал из WEGA
нет описания правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Синтаксическая диаграмма''' (''Syntax diagram'') - графовый способ представления ''...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Синтаксическая диаграмма''' (''Syntax diagram'') - | '''Синтаксическая диаграмма''' (''[[Syntax diagram]]'') - | ||
графовый способ представления ''контекстно-свободной грамматики'' (''КС-грамматики''), который наряду с текстовой | графовый способ представления ''[[контекстно-свободная грамматика|контекстно-свободной грамматики]]'' (''КС-грамматики''), который наряду с текстовой | ||
формой ее представления, получившей название ''Бэкуса | формой ее представления, получившей название ''Бэкуса-Наура формы'' (или ''БНФ''), широко используется при описании синтаксиса реальных языков программирования. | ||
При задании конкретной КС-грамматики используется столько | При задании конкретной КС-грамматики используется столько | ||
''' | '''синтаксических диаграмм''', сколько в грамматике ''нетерминалов''. '''Синтаксическая диаграмма''', | ||
соответствующая некоторому нетерминалу <math>X</math>, представляет | соответствующая некоторому нетерминалу <math>X</math>, представляет | ||
собой граф с двумя выделенными вершинами: начальной и | собой [[граф]] с двумя выделенными [[вершина|вершинами]]: начальной и | ||
конечной. Отличные от начальной и конечной вершины графа | конечной. Отличные от [[начальная вершина|начальной]] и [[конечная вершина|конечной вершины]] графа | ||
помечены терминальными и нетерминальными символами таким | помечены терминальными и нетерминальными символами таким | ||
образом, что множество ''цепочек'', получаемых выписыванием | образом, что множество ''[[цепочка|цепочек]]'', получаемых выписыванием | ||
пометок вершин путей по графу от его начальной вершины до | пометок вершин [[путь|путей]] по графу от его начальной вершины до | ||
конечной, в точности совпадает с множеством цепочек, | конечной, в точности совпадает с множеством цепочек, | ||
''непосредственно выводимых'' из <math>X</math>. | ''непосредственно выводимых'' из <math>X</math>. | ||
