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

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 function...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Pöschel Reinhard
Semigrodskij Aleksander
Vogler Heiko
Dokumentumtípus: Cikk
Megjelent: 2004
Sorozat:Acta cybernetica 16 No. 3
Kulcsszavak:Számítástechnika, Nyelvészet - számítógép alkalmazása
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12731
LEADER 01318nab a2200241 i 4500
001 acta12731
005 20220615105213.0
008 161015s2004 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Pöschel Reinhard 
245 1 0 |a Relationally defined clones of tree functions closed under selection or primitive recursion  |h [elektronikus dokumentum] /  |c  Pöschel Reinhard 
260 |c 2004 
300 |a 411-425 
490 0 |a Acta cybernetica  |v 16 No. 3 
520 3 |a 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. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika, Nyelvészet - számítógép alkalmazása 
700 0 1 |a Semigrodskij Aleksander  |e aut 
700 0 1 |a Vogler Heiko  |e aut 
856 4 0 |u http://acta.bibl.u-szeged.hu/12731/1/Poschel_2004_ActaCybernetica.pdf  |z Dokumentum-elérés