| Informatikai Tanszékcsoport>>> Kutatás>>> Acta Cybernetica>>> | In English |
Relationally defined clones of tree functions closed under selection or primitive recursion
Reinhard Pöschel1, Alexander Semigrodskikh2, and Heiko Vogler3
Acta Cybernetica 16 (2004) 411-425.
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.
Footnotes
...Pöschel 1 Institute of Algebra, Dresden University of Technology (Germany), poeschel@math.tu-dresden.de
...Semigrodskikh 2 Department of Algebra and Discrete Math., Ural State University, Ekaterinburg (Russia), Alexander.Semigrodskikh@usu.ru supported by DAAD (Deutscher Akademischer Austauschdienst)
... Vogler 3 Institute of Theoretical Computer Science, Dresden University of Technology (Germany), vogler@inf.tu-dresden.de
Web administrator 2004-09-21