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...
Elmentve itt :
Szerzők: | |
---|---|
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 |