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

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


При задании конкретной КС-грамматики используется столько  
При задании конкретной КС-грамматики используется столько  
'''синтаксических диаграмм''', сколько в грамматике ''нетерминалов''. '''Синтаксическая диаграмма''',
'''синтаксических диаграмм''', сколько в [[грамматика|грамматике]] ''нетерминалов''. '''Синтаксическая диаграмма''',
соответствующая некоторому нетерминалу <math>X</math>,  представляет
соответствующая некоторому нетерминалу <math>X</math>,  представляет
собой [[граф]] с двумя выделенными [[вершина|вершинами]]: начальной и
собой [[граф]] с двумя выделенными [[вершина|вершинами]]: начальной и
конечной. Отличные от [[начальная вершина|начальной]] и [[конечная вершина|конечной вершины]] графа
конечной. Отличные от [[начальная вершина|начальной]] и [[конечная вершина|конечной вершины]] графа
помечены терминальными и нетерминальными символами таким
помечены [[терминал|терминальными]] и нетерминальными символами таким
образом, что множество ''[[цепочка|цепочек]]'', получаемых выписыванием
образом, что множество ''[[цепочка|цепочек]]'', получаемых выписыванием
пометок вершин [[путь|путей]] по графу от его начальной вершины до
пометок вершин [[путь|путей]] по графу от его начальной вершины до
Строка 15: Строка 15:
''непосредственно выводимых'' из <math>X</math>.
''непосредственно выводимых'' из <math>X</math>.
==Литература==
==Литература==
[Словарь],  
* Бауэр Ф.Л., Гооз Г. Информатика. — М: Мир, 1990. — Т. 1,2.


[Бауэр-Гооз],
* Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. — Новосибирск: Наука. Сиб. отд-ние, 1986.


[Касьянов-Поттосин]
* Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991.

Текущая версия от 11:35, 8 сентября 2011

Syntax diagram.png

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

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

Литература

  • Бауэр Ф.Л., Гооз Г. Информатика. — М: Мир, 1990. — Т. 1,2.
  • Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. — Новосибирск: Наука. Сиб. отд-ние, 1986.
  • Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991.