On the construction of complete systems of equivalent transformations of program schemes

DOI10.1134/S0361768816010060zbMath0909.68027MaRDI QIDQ1276514

M. G. Airapetyan, R. I. Podlovchenko

Publication date: 31 January 1999

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

multitape automata

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (4)

The problem of equivalent transformations for homogeneous multitape automata ⋮ Solution of the generalized minimization problem for two-tape automata with one fixed tape ⋮ Reflections on the phenomenon of Aleksej Andreevich Lyapunov ⋮ Complete system of equivalent transformations for two-tape automata with disjoint loops

Cites Work

• On an equivalence checking technique for algebraic models of programs
• Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models

This page was built for publication: On the construction of complete systems of equivalent transformations of program schemes