2006 | OriginalPaper | Buchkapitel
Invertible Classes
verfasst von : Sanjay Jain, Jochen Nessel, Frank Stephan
Erschienen in: Theory and Applications of Models of Computation
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper considers when one can invert general recursive operators which map a class of functions
$\mathcal{F}$
to
$\mathcal{F}$
. In this regard, we study four different notions of inversion. We additionally consider enumeration of operators which
cover
all general recursive operators which map
$\mathcal{F}$
to
$\mathcal{F}$
in the sense that for every general recursive operator Ψ mapping
$\mathcal{F}$
to
$\mathcal{F}$
, there is a general recursive operator in the enumerated sequence which behaves the same way as Ψ on
$\mathcal{F}$
. Three different possible types of enumeration are studied.