Древовидный язык

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

Литература

[Словарь]