supported by the National Natural Science Foundation of China (No. 61174071)
In this paper, we propose a matrix-based approach for finite automata and then study the reachability conditions. Both the deterministic and nondeterministic automata are expressed in matrix forms, and the necessary a...