A GENERAL EQUIVALENT-TRANSFORMATION APPROACH TO THE ANALYSIS OF EXTERNAL BEHAVIOR OF OBJECTS REPRESENTED BY FUNCTIONAL SCHEMAS .1.

The problem of developing a method to analyze the external behavior of a particular type of objects represented by schemas (structures) is c onsidered as a mass problem with respect to various types of objects a nd their representing schemas and with respect to language means used for the description of these objects. The main results of the study in clude a general method for the development of methods of analysis of e xternal behavior for various types of objects represented by functiona l schemas and a general model of the schema type. The model is intende d for formalizing our views of a certain type of structured objects fo r the development of analysis methods and also for constructing variou s specialized theories of such objects. The results are oriented towar d the development of a scientific-methodological foundation for formal ized design technologies of computer and control systems.