ANALYSIS OF THE EXTERNAL BEHAVIOR OF BINARY PROGRAMS AND SELECTION SCHEMAS ON THE BASIS OF LOCAL EQUIVALENT TRANSFORMATIONS

Using binary programs and analogous selection schemas, the possibility of systematic development of methods for analyzing the external behav ior of certain classes of programs by local equivalent transformations is demonstrated. These methods, jointly with formalization of the for mulation of the problem, validation of the method, and linguistic appa ratus can serve as a basis for drawing analogies in developing externa l behavior analysis techniques for other types of programs, even nonst ructured programs.