4194
правки
Древовидная грамматика: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Древовидная грамматика''' (''Tree grammar'') - обобщение понятия ''грамматики'' при...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Древовидная грамматика''' (''Tree grammar'') - | '''Древовидная грамматика''' (''[[Tree grammar]]'') - обобщение понятия ''[[грамматика/грамматики]]'' применительно к ''[[дерево|деревьям]]'' (в этом контексте часто называемым ''[[терм|термами]]''), отличным от ''[[цепочка|цепочек]]'' (см. ''[[Древовидный язык]]''). | ||
обобщение понятия ''грамматики'' применительно к ''деревьям'' (в этом контексте часто называемым ''термами''), | Соответствующим обобщением понятия ''[[регулярная грамматика|регулярной грамматики]]'' является регулярная древовидная грамматика. | ||
отличным от ''цепочек'' (см. ''Древовидный язык''). | |||
Соответствующим обобщением понятия ''регулярной грамматики'' является регулярная древовидная грамматика. | |||
Продукции имеют вид | Продукции имеют вид | ||
| Строка 12: | Строка 10: | ||
Такие продукции генерируют регулярный древовидный язык. Аналогично можно | Такие продукции генерируют регулярный древовидный язык. Аналогично можно | ||
обобщить и понятие ''бесконтекстной грамматики''. На этот | обобщить и понятие ''[[бесконтекстная грамматика|бесконтекстной грамматики]]''. На этот | ||
раз нетерминальные символы сами могут быть символами | раз нетерминальные символы сами могут быть символами | ||
функций, имеющих произвольное число аргументов. | функций, имеющих произвольное число аргументов. | ||
==Литература== | ==Литература== | ||
[Словарь] | [Словарь] | ||