Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
Podlovčenko, R.I. Hierarchy of programs models(Russian). Programmirovanie(Moskwa), 1981, no.2, 3–14.
Podlovčenko, R.I. Semigroup models of programs(Russian). Programmirovanie(Moskwa), 1981, no.4, 3–13.
Podlovčenko, R.I. Investigations of programs s-models aimed to construct canonization's algorithms(Russian). Programmirovanie(Moskwa), 1986, no.2, 3–13.
Podlovčenko, R.I. Programs modeling by schemas and construction of complete systems of schemas transformations(Russian). Doct. dissertation(Yerevan), 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Podlovčenko, R.I. (1987). On approximate solution of the problem of equivalent transformations of programs. In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_78
Download citation
DOI: https://doi.org/10.1007/3-540-18740-5_78
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18740-0
Online ISBN: 978-3-540-48138-6
eBook Packages: Springer Book Archive