Abstract
Algebraic models of programs are considered for which the decidability of the equivalence checking problem is proved. A new equivalence checking algorithm stemmed from the well-known Moore technique for finite state automata is introduced. It is shown that, for some subclasses of models, this algorithm is reduced to a polynomial-time equivalence checking procedure.
Similar content being viewed by others
References
R. I. Podlovchenko, “Technique of traces in solving the equivalence problem in algebraic program models,” Cybernetics and Systems Analysis, 45, No. 5, 692–702 (2009).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 17–24, September–October 2012.
Rights and permissions
About this article
Cite this article
Podlovchenko, R.I. On the polynomial complexity of the equivalence checking problem in algebraic models of programs. Cybern Syst Anal 48, 653–659 (2012). https://doi.org/10.1007/s10559-012-9446-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10559-012-9446-3