Affiliation:
1. Manash Kozybayev North Kazakhstan university, Petropavlovsk, Republic of Kazakhstan
Abstract
In this paper, two approaches are used to construct the dynamic semantics of computer programs: the first is the representation of mathematical models of computational processes generated by a computer program in the form of a discrete transformer; the second is the representation of the mathematical model of a computer program in terms of functional grammars. The study focuses on the computational process generated by a computer program. Application of the discrete transducers concept to describe computational processes allows us to obtain a mathematical model or dynamic semantics of a program, which is a composition of two discrete systems B and C. In this case, component A is a control component (a model of the program block diagram), and component B is a model of the program memory. The decomposition of a program into two components B and B is convenient when studying the process of modelling a computational process. This is due to the fact that the prospects of searching for invariants in critical nodes of a programme for mathematical proof of correctness of a computer programme are opened. The comparative analysis of the two approaches leads to the theorem on the regularity of the representation of a function generated by a programme within the framework of functional grammar.
Publisher
Ural State University of Economics
Reference11 articles.
1. Mohsin A., Janjua N.K., Islam M.S, Babar M.A. SAM-SoS: A stochastic software architecture modeling and verification approach for complex system-of-systems. IEEE Access. 2020. Vol. 8. Pp. 177580–177603. DOI: https://doi.org/10.1109/ACCESS.2020.3025934.
2. Zabotkina V.I., Boyarskaya E.L. K voprosu o dinamicheskoj konceptual’noj semantike: modelirovanie struktury koncepta preodolenie [The issue of dynamic conceptual semantics revisited: frame modelling of overcoming]. Kognitivnye issledovaniya yazyka. 2020. No. 3(42). Pp. 128–134. EDN: https://www.elibrary.ru/aafphd. (In Russ.)
3. Chen N., Geng S., Li Y. Modeling and verification of uncertain cyber-physical system based on decision processes. Mathematics. 2023. Vol. 11, iss. 19. Art. no. 4122. DOI: https://doi. org/10.3390/math11194122.
4. Granichin O., Uzhva D., Volkovich Z. Cluster flows and multiagent technology // Mathematics. 2021. Vol. 9, iss. 1. Art. no. 22. DOI: https://doi.org/10.3390/math9010022.
5. Kolesnikov A.V., Rumovskaya S.B., Yasinskij E.V. Intellektualizaciya operativno-tekhnologicheskogo upravleniya regional’noj elektroenergetikoj metodami kognitivnyh gibridnyh intellektual’nyh sistem. Chast’ 4 [Intellectualization of operational and technological control of regional electric power by cognitive hybrid intelligent systems. Part 4]. Vestnik Baltijskogo federal’nogo universiteta im. I. Kanta. Seriya: Fiziko-matematicheskie i tekhnicheskie nauki. 2021. No. 4. pp. 49–75. EDN: OLYTHB. (In Russ.)