Relationally defined clones of tree functions closed under selection or primitive recursion

Pöschel Reinhard and Semigrodskij Aleksander and Vogler Heiko: Relationally defined clones of tree functions closed under selection or primitive recursion. In: Acta cybernetica, (16) 3. pp. 411-425. (2004)

[thumbnail of Poschel_2004_ActaCybernetica.pdf]
Preview
Cikk, tanulmány, mű
Poschel_2004_ActaCybernetica.pdf

Download (195kB) | Preview

Abstract

We investigate classes of tree functions which are closed under composition and primitive recursion or selection (a restricted form of recursion). The main result is the characterization of those finitary relations ς (on the set of all trees of a fixed signature) for which the clone of tree functions preserving ς is closed under selection. Moreover, it turns out that such clones are closed also under primitive recursion.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2004
Volume: 16
Number: 3
ISSN: 0324-721X
Page Range: pp. 411-425
Language: English
Place of Publication: Szeged
Related URLs: http://acta.bibl.u-szeged.hu/38517/
Uncontrolled Keywords: Számítástechnika, Nyelvészet - számítógép alkalmazása
Additional Information: Bibliogr.: p. 424-425. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2022. Jun. 15. 10:52
URI: http://acta.bibl.u-szeged.hu/id/eprint/12731

Actions (login required)

View Item View Item