Technique to Remove Indistinguishable State with Unreachable State and Dead State from Deterministic Finite Automata

Abstract

This paper presents a new technique for efficiently calculating and remove indistinguishable states in finitestate automata. A central problem in automata theory is to minimize a given Deterministic Finite Automaton (DFA). DFA minimization is an important topic because it can be applied both theoretically and practically, in for instance compilers. Minimizing a DFA increases its efficiency by reducing its amount of states and it also enables us to determine if two DFAs are equivalent. A DFA(deterministic finite automata) have some redundant state that means this type of state doesn‟t participant for generating useful strings. And these types of state are called dead state, unreachable state or indistinguishable state. In deterministic finite automata, it is not easy to determine dead state, unreachable state or inaccessible state and it is necessary for removing unreachable state and dead state from DFA(deterministic finite automata).And removing unreachable state and dead state from deterministic finite automata is very necessary to generating useful string. We can generate minimize deterministic finite automata after removing unreachable state, dead state and indistinguishable state. But it is very difficult to removing these type of state from DFA. Then first we will choose useful state. This paper also explaining about how useful automata package simulator and java formal languages for new technique.