Content
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
Abstract
Keywords
Logical systems ; Finite-valued systems ; Semi-tensor product of matrices ; Finite state machines ; Matrix approaches
Content