BSU Bulletin. Mathematics, Informatics
Bibliographic description:
, ON ALGEBRAIC MODELING OF COMPUTER PROGRAMS // BSU Bulletin. Mathematics, Informatics. - 2019. №2. . - С. 28-43.
Title:
ON ALGEBRAIC MODELING OF COMPUTER PROGRAMS
Financing:
Codes:
Annotation:
The article considers functional grammar in terms of algorithmic algebras. As a re- sult, we have identified the simplest invariant basis (name — value pair), which can later serve as a unified basis for building more complex structures in computer memory when implementing declarations of complex objects in computer programs. It is ob- tained a lemma on commutativity of assignment operator transfer and valid state of program memory, which returns a value by the name of variable.
The logical connection between the homomorphism of multibase data algebras and the homomorphism of valid memory states is established by the theorem of diagrams commutativity in Cartesian closed categories and expressed by an assignment operator. An example of computer modeling of classical dynamic system using functional grammars is presented as a system of ordinary differential equations with given initial conditions. To demonstrate the application of functional grammars we have used an algorithm that generates a solution to an ordinary differential equation.
The logical connection between the homomorphism of multibase data algebras and the homomorphism of valid memory states is established by the theorem of diagrams commutativity in Cartesian closed categories and expressed by an assignment operator. An example of computer modeling of classical dynamic system using functional grammars is presented as a system of ordinary differential equations with given initial conditions. To demonstrate the application of functional grammars we have used an algorithm that generates a solution to an ordinary differential equation.
Keywords:
dynamic systems; modeling; mathematical model of language; univer- sal algebra, context-free grammar; assignment operator; valid memory state; semantics.
List of references:
Vasilyev S. N., Zherlov A. K., Fedosov E. A., Fedunov B. E. Intellektnoe uprav- lenie dinamicheskimi sistemami [Intellectual Control of Dynamic Systems]. Moscow: Fiziko-matematicheskaya literatura Publ., 2000. 352 p.
Kapitonova Yu. V., Letichevskii A. A. Matematicheskaya teoriya proektiro- vaniya vychislitelnykh sistem [Mathematical Theory of Computer Systems Design]. Moscow: Nauka Publ., 1988. 296 p.
Nikolaeva D. D., Shirapov D. Sh., Antonov V. I. Ob odnom podkhode k modeli- rovaniyu dinamicheskikh system [On One Approach to Modeling Dynamic Systems]. Vestnik Buryatskogo gosudarstvennogo universiteta. Matematika, informatika. 2018. No. 2. Pp. 95–109.
Tuzov V. A. Matematicheskaya model yazyka [A Mathematical Model of Language]. Leningrad: Leningrad State University Publ., 1984. 176 p.
Kapitonova Yu. V., Letichevskii A. A. Matematicheskaya teoriya proektiro- vaniya vychislitelnykh sistem [Mathematical Theory of Computer Systems Design]. Moscow: Nauka Publ., 1988. 296 p.
Nikolaeva D. D., Shirapov D. Sh., Antonov V. I. Ob odnom podkhode k modeli- rovaniyu dinamicheskikh system [On One Approach to Modeling Dynamic Systems]. Vestnik Buryatskogo gosudarstvennogo universiteta. Matematika, informatika. 2018. No. 2. Pp. 95–109.
Tuzov V. A. Matematicheskaya model yazyka [A Mathematical Model of Language]. Leningrad: Leningrad State University Publ., 1984. 176 p.
Article.pdf