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

Pöschel Reinhard; Semigrodskij Aleksander; 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]
Előnézet
Cikk, tanulmány, mű
Poschel_2004_ActaCybernetica.pdf

Letöltés (195kB) | Előnézet

Absztrakt (kivonat)

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.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2004
Kötet: 16
Szám: 3
ISSN: 0324-721X
Oldalak: pp. 411-425
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38517/
Kulcsszavak: Számítástechnika, Nyelvészet - számítógép alkalmazása
Megjegyzések: Bibliogr.: p. 424-425. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:25
Utolsó módosítás: 2022. jún. 15. 10:52
URI: http://acta.bibl.u-szeged.hu/id/eprint/12731
Bővebben:
Tétel nézet Tétel nézet