The synthesis of structural diagrams of automatic devices on formal neurons
- Authors: Malinina N.L.1
-
Affiliations:
- Moscow Aviation Institute (National Research University)
- Issue: Vol 24, No 4 (2023)
- Pages: 349-364
- Section: Articles
- URL: https://journals.rcsi.science/2312-8143/article/view/327582
- DOI: https://doi.org/10.22363/2312-8143-2023-24-4-349-364
- EDN: https://elibrary.ru/HBEUFG
- ID: 327582
Cite item
Full Text
Abstract
The development of finite state machines and the synthesis of neural networks come with enormous computational difficulties. The problems that are faced both by the creators of control finite state machines and the creators of neural networks are almost the same. In order for a control finite state machine to be implemented, an algorithm for its operation must be created, and then a program must be written, and finally this program must be implemented in hardware in the form of a finite state machine. It is crucial to create a finite state machine, which will be deterministic. As for neural networks, it is necessary either to set the weights on its edges with the help of experts, or it must be trained to obtain optimal weights on its edges. Both tasks, that is, the determination of finite state machines and the training of neural networks, are currently most often performed using approximate (exponential or genetic) algorithms. At the same time, few authors point out the fact that, firstly these algorithms give an error of up to 15 %, and secondly the operating time is quite long and requires large energy costs. The article has proven that control finite state machines and neural networks are equivalent based on their structure, which can be represented as a directed edge graph. Such equivalence makes it possible to use methods of normalizing arbitrary graphs to determine finite automata and synthesize neural networks. Methods of graph normalizing are extremely new, they are based on a fundamentally new approach of the extension of graph theory and will allow performing these operations using algorithms that have linear complexity or can significantly reduce the number of options when using brute force.
About the authors
Natalia L. Malinina
Moscow Aviation Institute (National Research University)
Author for correspondence.
Email: malinina806@gmail.com
ORCID iD: 0000-0003-0116-5889
Candidate of Physical and Mathematical Sciences, Associate Professor of the Department 604, Aerospace Faculty
Москва, Российская ФедерацияReferences
- Minsky M. Computation. Finite and infinite machines. Prentice Hall International, 1972.
- McCallouch WS, Pitts W. A Logical Calculous of the Ideas Immanent in Nervous Activity. Bulletin of Mathematical Biophysics. 1943;5:115-133. https://doi.org/10.1007/BF02478259
- Barkalov A, Titarenko L. Logical synthesis for FSM-based Control Units. Lecture Notes in Electrical Engineering. Springer Sience& Business Media; 2009. http://doi.org/10.1007/978-3-642-04309-3
- Bordihn H, Holzer M, Kutrib M. Determination of finite automata accepting subregular languages. Giessen: Elsevier, 2009.
- Lamberti G, Scandale M. Incremental determinezation and minimization of finite acyclic automata. IEEE International Conference on Systems, Man, and Cybernetics. Manchester, UK, 2013;2250-2257. https://doi.org/10.1109/SMC.2013.385
- Gandhi A, Ke NR, Khoussainov B. Descriptional complexity of determinization and complementation for finite automata. Proceedings of the Seventeenth Computing: The Australasian Theory Symposium. Australia, 2011; 119:95-104.
- Buchsbaum AL, Giancarlo R, Westbrook JR. On the determination of weighted finite automata. Sosiety for Industrial and Applied Mathematics. 2000;30(5):1502-1531.
- Shalyto A. Logic Control and “Reactive” systems: Algoritmization and programming. Automation and Remote Control. 2001;1:1-29. (In Russ.)
- Vinogradova M, Tkachev S, Kandaurova I. The determining finite automata process. Mathematics and Mathematical Modeling. 2017;4:1-17. (In Russ.) https:// doi.org/10.24108/mathm.0417.0000067
- Gorachkin B. The development of the theory of finite automataand its applications. Engineering bulletin. 2015;4:538-542. (In Russ.) EDN: TVWZNT
- Verevkin A, Kiryushin O. The Synthesis of Complex Logical Controllers with Variables of Boolean and Fuzzy Logics. Proceedings of the 7th Scientific Conference on Information Technologies for Intelligent Decision Making Support (ITIDS 2019). Ufa: Atlantis Press; 2019. https://doi.org/10.2991/itids-19.2019.9
- Burdonov IB, Kosachev AS, Kulyamin VV. The use of finite automata for testing programs. Programming. 2000;2:12-28. (In Russ.)
- Kleene S. Introduction to metamathematics. Bull. Math. Biophys. 1943;5:115-133.
- Godel K. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik. 1931;I(38): 173-198. https://doi.org/10.1007/BF01700692
- Turing A. Can a Machine Think? The World of Mathematics Universal Turing Machine. The world of Mathematics. 1956;4:2109.
- Post E. Formal Reductions of General Combinatorics Desision Problem. American Journal of Mathematic. 1943;65(2):197-215.
- Mitchell M. An introduction to the genetic algorithms. London: MIT Press Cambridge, Massachusetts; 1999.
- Fogel L, Owens A, Walsh MJ. Artifisial Intellegence through Simulated Evolution. NY: Wiley; 1966.
- Bukatova I. Evolutionary Modelling and its Applications. Moscow: Nauka Publ.; 1979. (In Russ.)
- Zaikin AK. Development of finite automata creation methods with annealing simulation algorithm by the “War for resources” example. Scientific and technical journal of information technologies, mechanics and optics. 2011;2(72):49-54. (In Russ.) EDN: NECKCX
- Harman M, Mansouri A, Zhang Y. Search-Based Software Engineering: A Comprehensive Analysis and Review of Trends, Techniques, and Applications,” Dept. of Computer Science. London: King’s, 2007.
- Rosenblatt F. Principles of neurodynamics. Buffalo: Cournell Neurotical Laboratory, 1965.
- Malinin LI, Malinina NL. On the solution of Graph Isomorphism. 2022. (In Russ.) Available from: https://www.researchgate.net/publication/358570634_On_the_solution_of_the_Graph_Isomorphism_Problem.
- Arbib МA. Brains, machines and mathematics. McGraw-Hill, 1964.
- Nechiporenko V. Structural analysis and methods for building reliable systems. Moscow: Sovetskoe Radio, 1968. (In Russ.)
Supplementary files
