Equivalent State Of Finite Automata And Its Judgment Theorem

Yue Xingyan,Hao Peifeng,Lin Zhao
DOI: https://doi.org/10.1145/3242840.3242860
2018-01-01
Abstract:Automata theory is an important tool in modern computer science, playing a role in compiler and many other engineering fields. This paper first analyzes the automata theory. For sake of enhancing the mathematical logicality of automata theory and to carry out the further research on the equivalent state of finite automata, we modify and optimize the basic concept of automata theory. Next, this paper defines the string set of state, in order to formalize the concept of equivalent state. According to these basic concepts, we advance several judgment theorems of equivalent state, which can explain the effectiveness of the simplification algorithms of finite automata, and complete their proofs. Finally, we also introduce a merging based simplification algorithm for finite automata, which is the direct application of one of the judgment theorems above.
What problem does this paper attempt to address?