Open AccessFunctional approach to deterministic finite-state automata systems dynamic modeling
Author(s) -
Eduard S. Lapin,
Marat I. Abdrakhmanov
Publication year - 2021
Publication title -
izvestiâ vysših učebnyh zavedenij. gornyj žurnal
Language(s) - English
Resource type - Journals
eISSN - 2686-9853
pISSN - 0536-1028
DOI - 10.21440/0536-1028-2021-2-113-122
Subject(s) - automaton , computer science , finite state machine , debugging , state (computer science) , deterministic finite automaton , functor , theoretical computer science , algorithm , mathematics , programming language , discrete mathematics
Research aim is to study the functional approach to modeling the deterministic finite-state automata system which is not confined to the elements communication topology and the heterogeneity of the algorithm types. Relevance. The substantial part of engineering systems applied in the mining industry may be described through the finite-state automaton model. They include the mine conveyor systems, shaft signal systems, processing facilities control systems, etc. Such model makes it possible to shorten the time spent on control software development and carry out algorithm analysis, debug, and testing effectively. There are a lot of effective approaches and tools to solve the problem of finite-state automata dynamic modeling, each of which has its own advantages and disadvantages. Methodology. In this article, the methodology of finite-state automata systems modeling is considered as applied to mine conveyor systems. Results. Final-state automata (FSA) models have been developed together with the conditions for FSA systems dynamic modeling as applied to mine conveyor systems. Conclusions. The considered approach to modeling, which involves functors and applicative functors 122 "Izvestiya vysshikh uchebnykh zavedenii. Gornyi zhurnal". No. 2. 2021 ISSN 0536-1028 for structure composition and its operational dynamics study, as well as the possibility to mathematically prove the model’s properties, makes the approach a good alternative when choosing tools for systems models development.