Some algorithms for equivalent transformation of nondeterministic finite automata
Boris Feliksovich Melnikov, М Р Сайфуллина · Russian Mathematics · 2009
In this paper we consider algorithms which allow one to combine several states of a nondeterministic finite automaton into one state. Along with the algorithms for combining states, we adduce one more algorithm for the equivalent transformation of a non-deterministic finite automaton, namely, an algorithm for adding cycles. Problems under consideration imply the development of robust computer programs.