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

'''Древовидный язык''' (''[[Tree language]]'') - в теории [[формальный язык|формальных языков]] обобщение понятия ''формального языка'' применительно к ''[[дерево|деревьям]]'' (в этом контексте часто называемым ''[[терм|термами]]''), отличным от ''[[цепочка|цепочек]]''. Алфавиты таких языков расширены, с тем чтобы каждый символ получил арность; арность каждого символа определяет число [[подтер|подтермов]], или наследников, в дереве, которые имеет соответствующая этому символу [[вершина]].