Древовидная грамматика: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Древовидная грамматика''' (''Tree grammar'') - обобщение понятия ''грамматики'' при...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| (не показана 1 промежуточная версия этого же участника) | |||
| Строка 1: | Строка 1: | ||
'''Древовидная грамматика''' (''Tree grammar'') | '''Древовидная грамматика''' (''[[Tree grammar]]'') — обобщение понятия ''[[грамматика|грамматики]]'' применительно к ''[[дерево|деревьям]]'' (в этом контексте часто называемым ''[[терм|термами]]''), отличным от ''[[цепочка|цепочек]]'' (см. ''[[Древовидный язык]]''). | ||
обобщение понятия ''грамматики'' применительно к ''деревьям'' (в этом контексте часто называемым ''термами''), | Соответствующим обобщением понятия ''[[регулярная грамматика|регулярной грамматики]]'' является регулярная древовидная грамматика. | ||
отличным от ''цепочек'' (см. ''Древовидный язык''). | |||
Соответствующим обобщением понятия ''регулярной грамматики'' является регулярная древовидная грамматика. | |||
Продукции имеют вид | Продукции имеют вид | ||
<math> A \longrightarrow t,</math>, | :::::::<math> A \longrightarrow t,</math>, | ||
где <math>A</math> | где <math>A</math> — нетерминальный символ, <math>t</math> — терм, например, | ||
<math>S \longrightarrow h(a,g(S),b) | c.</math>. | :::::::<math>S \longrightarrow h(a,g(S),b) | c.</math>. | ||
Такие продукции генерируют регулярный древовидный язык. Аналогично можно | Такие продукции генерируют регулярный древовидный язык. Аналогично можно | ||
обобщить и понятие ''бесконтекстной грамматики''. На этот | обобщить и понятие ''[[бесконтекстная грамматика|бесконтекстной грамматики]]''. На этот | ||
раз нетерминальные символы сами могут быть символами | раз нетерминальные символы сами могут быть символами | ||
функций, имеющих произвольное число аргументов. | функций, имеющих произвольное число аргументов. | ||
==Литература== | ==Литература== | ||
* Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991. | |||
Текущая версия от 16:43, 7 февраля 2011
Древовидная грамматика (Tree grammar) — обобщение понятия грамматики применительно к деревьям (в этом контексте часто называемым термами), отличным от цепочек (см. Древовидный язык). Соответствующим обобщением понятия регулярной грамматики является регулярная древовидная грамматика. Продукции имеют вид
- [math]\displaystyle{ A \longrightarrow t, }[/math],
где [math]\displaystyle{ A }[/math] — нетерминальный символ, [math]\displaystyle{ t }[/math] — терм, например,
- [math]\displaystyle{ S \longrightarrow h(a,g(S),b) | c. }[/math].
Такие продукции генерируют регулярный древовидный язык. Аналогично можно обобщить и понятие бесконтекстной грамматики. На этот раз нетерминальные символы сами могут быть символами функций, имеющих произвольное число аргументов.
Литература
- Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991.