A graph theoretic approach to automata minimality

作者:Restivo Antonio; Vaglica Roberto*
来源:Theoretical Computer Science, 2012, 429: 282-291.
DOI:10.1016/j.tcs.2011.12.049

摘要

The paper presents a graph-theoretic approach to test the minimality of a deterministic automaton. In particular, we focus on problems concerning the dependence of the minimality of an automaton on the choice of the set F of final states or on the cardinality of the set F. We introduce different minimality conditions of an automaton and show that such conditions can be characterized in graph-theoretic terms.

  • 出版日期2012-4-20