References
Podlovchenko, R.I., Hierarchy of Program Models, Programmirovanie, 1981, no. 2, pp. 3–14.
Podlovchenko, R.I., Semigroup Program Models, Programmirovanie, 1981, no. 4, pp. 3–13.
Podlovchenko, R.I., Automaton Semigroup Models of Programs, Programmirovanie, 2006, no. 6, pp. 1–9 [Programming Comput. Software (Engl. Transl.), 2006, vol. 32, no. 6, pp. 301–307].
Letichevsky, A.A., On Equivalence of Automata with a Finite Number of States on Free Monoids with Right Zero, Dokl. Akad. Nauk SSSR, 1968, vol. 182, no. 5.
Lisovik, L.P., Metalinear Schemes with Writing Constants, Programmirovanie, 1985, no. 2, pp. 29–38.
Podlovchenko, R., Rusakov, D., and Zakharov, V., On the Equivalence Problem for Programs with Mode Switching, Lecture Notes in Computer Science, Berlin: Springer, 2006, vol. 3845, pp. 351–352.
Podlovchenko, R.I., Abstract Programs with Procedures and Finite Push-Down Automata, in Intellektual’nye sistemy (Intelligent Systems), Moscow: Mosk. Gos. Univ., 1997, vol. 2, nos. 1–4, pp. 275–295.
Podlovchenko, R.I. and Rusakov, D.M., Program Schemes with Constants, Programmirovanie, 2005, no. 3, pp. 5–18 [Programming Comput. Software (Engl. Transl.), 2005, vol. 31, no. 3, pp. 113–122].
Author information
Authors and Affiliations
Additional information
Original Russian Text © R.I. Podlovchenko, D.M. Rusakov, 2007, published in Programmirovanie, 2007, Vol. 33, No. 3.
Rights and permissions
About this article
Cite this article
Podlovchenko, R.I., Rusakov, D.M. Inclusion problem in algebraic models of programs with constants. Program Comput Soft 33, 121–131 (2007). https://doi.org/10.1134/S0361768807030012
Received:
Issue Date:
DOI: https://doi.org/10.1134/S0361768807030012