Abstract
The article belongs to the theory of program schemes, which are objects designed for the analysis of formalized programs. The structure of such schemes is represented as graphs. Programs schemes with procedures are considered. A subclass of program schemes, called primitive, is defined. A methodology for the construction of full systems of equivalent transformations (E.T.) is given. This methodology is then successfully applied to construct a full system of E.T. in the primitive subclass of balanced gateway program models with left cancellation. The construction is based on the known system of E.T. for similar program models without procedures. An auxiliary type of schemes, called multiexit schemes, is used. Further research topics are given in the conclusion.
Highlights
The article belongs to the theory of program schemes
Program schemes are objects designed for the analysis of formalized programs
The article deals with program schemes with procedures, limited only to gateway program models
Summary
Статья относится к теории алгебраических моделей программ, предназначенной для разработки эквивалентных преобразований программ на создаваемых для них схемах программ, и обобщает результат, полученный в [1]. Такие, каждая из которых обладает свойством: из эквивалентности схем в модели следует эквивалентность программ, принадлежащих некоторому их классу, и совпадающих по структуре со схемами. В [4] формулируется условие, когда проблема эквивалентности в перегородчатой модели сводится в её свободную подмодель; так называется множество принадлежащих модели схем, в которых нет бездействующих элементом (схемы этого множества называются свободными). Далее в [4] описан класс так называемых примитивных схем, принадлежащих свободной подмодели, и получен следующий результат: эквивалентность в этом классе разрешима, если она разрешима в индуцирующей его простой модели. В разделе 5 даётся определение используемой нами уравновешенной полугрупповой модели программ с левым сокращением, формулируются полученные в [5] результаты и описываются свойства принадлежащих им эквивалентных схем. Они описываются содержательно со ссылкой на их формальное определение в [5]
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Proceedings of the Institute for System Programming of the RAS
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
