every -automaton is equivalent to an automaton
In this entry, we show that an automaton with -transitions (http://planetmath.org/EpsilonTransition) is no more power than one without. Having -transitions is purely a matter of convenience.
Proposition 1.
Every -automaton (http://planetmath.org/EpsilonAutomaton) is equivalent to an automaton.
For the proof, we use the following setup (see the parent entry for more detail):
- •
is an -automaton, and is the automaton associated with ,
- •
is the homomorphism
that erases (it takes to the empty word
, also denoted by ). From the parent entry, .
Proof.
Define a function , as follows: for each pair , let
In other words, is the set of all states reachable from by words of the form . As usual, we extend so its domain is . By abuse of notation, we use again for this extension
. First, we set . Then we inductively define . Using induction
,
So for any non-empty word , we have the following equation:
(1) |
In other words, if , then is the set of all states reachable from by words of the form
(2) |
Now, define to be the automaton . Then, from equation (1) above, a word
is accepted by iff some word of the form (2) is accepted by iff is accepted by , proving the proposition.∎
Remark. Another approach is to use the concept of -closure
(http://planetmath.org/EpsilonClosure). The proof is very similar to the one given above, and the resulting equivalent automaton is a DFA.