INPUT/OUTPUT CODINGS AND TRANSITION FUNCTIONS IN EFFECTIVE SYSTEMS
Bruno Buchberger, Bernhard Roider · International Journal of General Systems · 1978
We study some aspects of what might be called a general theory of effective systems. First, we define the notion of a universal effective system and derive some theorems which give the connection of this notion with related concepts in recursive function theory. Then we characterize the class of transition functions and the sets of final states of universal effective systems. Finally, we exactly determine the role of input/output codings in effective systems and characterize the class of possible input and output codings in universal effective systems. We interpret our results in terms of computer science