Search code examples
dfanfaautomaton

can a DFA have an arrow with empty string as input?


I've seen a picture of an automata represented as a DFA but it has arrows that has nothing on it! What do these arrows mean in DFA? I mean are they different from epsilon (ε) , because we do not have ε in DFA ! what are they doing ? And sorry if my question is a bit weird.Is that a DFA ?!


Solution

  • The implied alphabet is {0,1}. So for states with two transitions out, only one needs to be marked, as is the case. If that one is marked "0", the other one is implicitly a 1. If that one is marked "1", the other one is implicitly a 0. For states with one transitions out, that transition represents (1,0).