Frontiers of Information Technology & Electronic Engineering
>> 2022,
Volume 23,
Issue 8
doi:
10.1631/FITEE.2100561
A matrix-based static approach to analysis of finite state machines
Affiliation(s): College of Information Engineering, Henan University of Science and Technology, Luoyang 471000, China; College of Artificial Intelligence, Nankai University, Tianjin 300071, China; less
Received: 2021-12-03
Accepted: 2022-08-22
Available online: 2022-08-22
Next
Previous
Abstract
Traditional matrix-based approaches in the field of construct state transition matrices, and then use the powers of the state transition matrices to represent corresponding dynamic transition processes, which are cornerstones of system analysis. In this study, we propose a static matrix-based approach that revisits a finite state machine from its structure rather than its dynamic transition process, thus avoiding the "explosion of complexity" problem inherent in the existing approaches. Based on the static approach, we reexamine the issues of closed-loop detection and controllability for deterministic . In addition, we propose controllable equivalent form and minimal controllable equivalent form concepts and give corresponding algorithms.