Literature Cited
J. Myhill, “Recursive equivalence types and combinatorial functions,” Bull. Amer. Math. Soc.,64, (1958).
J. Dekker and J. Myhill, “Recursive equivalence types,” Univ. Calif. Publ. Math., New Ser.,3, No. 3 (1960).
J. C. E. Dekker, Les Fonctions Combinatories et les Isols, Paris (1966).
E. Ellentuck, “A choice-free theory of Dedekind cardinals,” J. Symb. Logic,34 (1969).
B. A. Trakhtenbrot and Ya. M. Barzdin', Finite Automata (Behavior and Synthesis) [in Russian], Nauka, Moscow (1970).
H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
Additional information
Translated from Kibernetika, No. 2, pp. 22–29, March–April, 1977.
Rights and permissions
About this article
Cite this article
Roizen, S.I. An analog to the additive system of cardinals connected with finite automata. Cybern Syst Anal 13, 166–174 (1977). https://doi.org/10.1007/BF01073304
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01073304