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