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

'''Древовидная грамматика''' (''[[Tree grammar]]'') — обобщение понятия ''[[грамматика|грамматики]]'' применительно к ''[[дерево|деревьям]]'' (в этом контексте часто называемым ''[[терм|термами]]''), отличным от ''[[цепочка|цепочек]]'' (см. ''[[Древовидный язык]]'').

Соответствующим обобщением понятия ''[[регулярная грамматика|регулярной грамматики]]'' является регулярная древовидная грамматика.

:::::::<math> A \longrightarrow t,</math>,  

где <math>A</math> — нетерминальный символ, <math>t</math> — терм, например,  

:::::::<math>S \longrightarrow h(a,g(S),b) | c.</math>.  

обобщить и понятие ''[[бесконтекстная грамматика|бесконтекстной грамматики]]''. На этот