Частичный клон языков линейных деревьев

Терм называется линейным (или деревом), если каждая переменная, входящая в терм, встречается в нем лишь однажды. Линейные термы и множества линейных термов, так называемые языки линейных деревьев, играют некоторую роль в теории автоматов и в теории формальных языков в связи с распознаваемостью. Определяется частичная операция суперпозиции на множествах линейных деревьев данного типа $\tau$ и изучаются свойства некоторых многосортных частичных клонов, содержащих в качестве элементов множества линейных деревьев и в качестве основных операторов частичные операторы суперпозиции. Эндоморфизмы этих алгебр соответствуют недетерминистским линейным гиперподстановкам.