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

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

Версия от 17:03, 15 октября 2009

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

Литература

[Словарь]