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