Abstract
On the basis of bounded monotone recursion, a class BMR of word functions over the alphabet {1, 2} is defined. A new type of a computing device is introduced, which is called a multihead nonerasing automaton with output, or an MH automaton. It is proved that the class BMR coincides with the class MHA of word functions computable by MH automata in polynomial time. Numerous examples of word functions from the class BMR are given.
Similar content being viewed by others
References
Lyapunov, A.A., On logical schemes of programs, in Problemy kibernetiki (Problems of Cybernetics), Moscow: Fizmatgiz, 1958, vol. 1, pp. 46–74.
Yanov, Yu. I., On logical schemes of algorithms, in Problemy kibernetiki (Problems of Cybernetics), Moscow: Fizmatgiz, 1958, vol. 1, pp. 75–127.
Podlovchenko, R.I., Hierarchy of program models, Programmirovanie, 1981, no. 2, pp. 3–14.
Podlovchenko, R.I., Recursive programs and hierarchies of their models, Programmirovanie, 1991, no. 6, pp. 44–51.
Grzegorczyk, A., Rozprawy Matematyczne, vol. 4: Some Classes of Recursive Functions, Warsaw: Math. Inst., Polish Acad. Sci., 1953.
Marchenkov, S.S., Elementarnye rekursivnye funktsii (Elementary Recursive Functions), Moscow: MTsNMO, 2003.
Volkov, S.A., On the class of Skolem elementary functions, J. Appl. Industrial Math., 2010, vol. 4, no. 4, pp. 588–599.
Volkov, S.A., An exponential extension of the class of Skolem elementary functions and bounded superpositions of simple arithmetic functions, in Matematicheskie voprosy kibernetiki (Mathematical Questions of Cybernetics), Moscow: Fizmatlit, 2007, vol. 16, pp. 163–190.
Clote, P., Sequential, machine-independent characterizations of the parallel complexity classes ALOGTIME, ACk, NCk and NC, in Feasible Mathematics Boston: Birkhäuser, 1990, pp. 49–69.
Clote, P., Computation models and functional algebras, in Handbook of Computability Theory, Amsterdam: Elsevier, 1999, pp. 589–681.
Mazzanti, S., CRN elimination and substitution bases for complexity classes. http://rice.iuav.it/311/1/bases18rice.pdf
Kozmidiadi, V.A. and Marchenkov, S.S., On multihead automata, in Problemy kibernetiti (Problems of Cybernetics), Moscow: Nauka, 1969, vol. 21, pp. 127–158.
Marchenkov, S.S., Elimination of recursion schemas in the Grzegorczyk class, Math. Notes, 1969, vol. 5, no. 5, pp. 561–568.
Smullyan, R., Theory of Formal Systems, Princeton: Princeton Univ., 1959.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © S.S. Marchenkov, 2013, published in Programmirovanie, 2013, Vol. 39, No. 6.
Rights and permissions
About this article
Cite this article
Marchenkov, S.S. Bounded monotone recursion and multihead automata. Program Comput Soft 39, 301–308 (2013). https://doi.org/10.1134/S0361768813060054
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768813060054