Received 09.10.2023; Revised 21.10.2023; Accepted 28.11.2023

Published 04.12.2023; First Online 05.12.2023

https://doi.org/10.34229/2707-451X.23.4.2

Previous  |  FULL TEXT (in Ukrainian)  |  Next

 

UDC 519.67

Algebraic School of V.M. Glushkov and Insertion Modeling

Oleksandr Letychevskyi

V.M. Glushkov Institute of Cybernetics of the NAS of Ukraine, Kyiv

Correspondence: This email address is being protected from spambots. You need JavaScript enabled to view it.

 

The Algebraic School of Viktor Mykhailovych Glushkov already has several generations of scientists, most of whom have already identified and are developing their own scientific directions. This school, started at the Institute of Cybernetics, was shaped by research that had the significance of inventions at the level of world science and the computer industry and in many ways predicted their further development.

The work considers the formation of the paradigm of insertion modeling as a generalization of the main achievements of the Glushkov school, starting from the theory of automata and up to modern computer algebra systems. The main concepts from which insertion modeling was formed are considered, namely, symbolic computations, which were implemented even in the first personal machine of the MIR series. It is also the theory of agents and environments, parallel computing, and methods of artificial intelligence, developed at the Institute of Cybernetics, in the 60s and 70s.

Numerous deployments of insertion modeling methods in cyber security, research in natural sciences, blockchain technology, in verification and testing of software and hardware, have shown the practicality and value of theoretical research conducted by followers of the Glushkov school.

 

Keywords: symbolic computation, algebraic modeling, insertional modeling.

 

Cite as: Letychevskyi O. Algebraic School of V.M. Glushkov and Insertion Modeling. Cybernetics and Computer Technologies. 2023. 4. P. 8–15. (in Ukrainian) https://doi.org/10.34229/2707-451X.23.4.2

 

References

           1.     Glushkov V.M., Klimenko V.P., Losev V.D. et al. Characterization and domain of application of the MIR-2 computer. Cybern Syst Anal. 1975. 11 (5). P. 792–798. https://doi.org/10.1007/BF01071373

           2.     Glushkov V.M., Molchanov I.N., Pogrebinskii S.B. et al. External software for the MIR-2 computer. Cybern Syst Anal. 1975. 11 (5). P. 788–791. https://doi.org/10.1007/BF01071372

           3.     Letichevsky A.A., Kapitonova J.V. Algebraic Programming in the APS System. In: proc. of ISSAC'90, Tokyo, Japan. 1990. P. 68–75. https://doi.org/10.1145/96877.96896

           4.     Letichevskii A.A., Khomenko V.V. A Rewriting Machine and Optimization of Strategies of Term Rewriting. Cybernetics and Systems Analysis. 2002. 38 (2). P. 637–649. https://doi.org/10.1023/A:1021819523233

           5.     Kapitonova Y.V., Letichevsky A.A., L'vov M.S., Volkov V.A. Tools for solving problems in the scope of algebraic programming. In: Calmet J., Campbell J.A. (eds), Integrating Symbolic Mathematical Computation and Artificial Intelligence. AISMC 1994. Lecture Notes in Computer Science. 1995. Vol. 958. P. 30–47. https://doi.org/10.1007/3-540-60156-2_4

           6.     Letichevsky A., Gilbert D. A Model for Interaction of Agents and Environments. In: Bert D., Choppy C., Mosses P.D. (eds), Recent Trends in Algebraic Development Techniques. WADT 1999. Lecture Notes in Computer Science. 2000. Vol. 1827. P. 311–328. https://doi.org/10.1007/978-3-540-44616-3_18

           7.     Glushkov V.M. Automata theory and structural design problems of digital machines. Cybern Syst Anal. 1965. 1 (1). P. 3–9. https://doi.org/10.1007/BF01071436

           8.     Glushkov V.M., Letichevskii A.A. Theory of Algorithms and Discrete Processors. In: Tou J.T. (eds), Advances in Information Systems Science. Springer, Boston, MA, 1969. P. 1–58. https://doi.org/10.1007/978-1-4615-9050-7_1

           9.     Letichevsky A.Ad. Insertional Modelling. Control Systems and Computers. 2012. No. 6. P. 3–14. http://usim.org.ua/arch/2012/6/2.pdf (in Russian)

       10.     Glushkov V.M., Tseytlin G.E., Yushchenko E.L. Algebra. Languages. Programming. Kyiv: Nauk. dumka, 1978. 319 p. (in Russian)

       11.     Tseytlin G.E. Introduction to algorithms. Kyiv: Sfera, 1998. 310 p. (in Russian)

       12.     Letichevsky A. Algebra of behavior transformations and its applications. In: Kudryavtsev V.B., Rosenberg I.G., Goldstein M. (eds), Structural Theory of Automata, Semigroups, and Universal Algebra. NATO Science Series II: Mathematics, Physics and Chemistry. 2005. Vol. 207. P. 241–272. https://doi.org/10.1007/1-4020-3817-8_10

       13.     Glushkov V.M. Some problems in the theories of automata and artificial intelligence. Cybern Syst Anal. 1970. 6 (2). P. 17–27. https://doi.org/10.1007/BF01070496

       14.     Glushkov V.M. Evidence Automation System (ADS). Automation of mathematical text processing. Kyiv: IK AN Ukrainian SSR, 1980. P. 3–30. (in Russian)

       15.     Letichevsky A., Kapitonova J., Letichevsky A.Jr., Volkov V., Baranov S., Kotlyarov V., Weigert T. Basic protocols, message sequence charts, and the verification of requirements specifications. Computer Networks. 2005. 47 (5). P. 661–675. https://doi.org/10.1016/j.comnet.2005.05.005

       16.     Letichevsky A., Letychevskyi O., Peschanenko V., Weigert T. Insertion Modeling and Symbolic Verification of Large Systems. In: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (eds), SDL 2015: Model-Driven Engineering for Smart Cities. SDL 2015. Lecture Notes in Computer Science. Springer, Cham, 2015. Vol. 9369. P. 3–18. https://doi.org/10.1007/978-3-319-24912-4_1

 

 

ISSN 2707-451X (Online)

ISSN 2707-4501 (Print)

Previous  |  FULL TEXT (in Ukrainian)  |  Next