Example 2.3.5. In Example 2.3.3 it is determined that for L = 0*1* the L-equivalence classes are [_] = 0* [1] = 0*11* [10] = 0*11*0(0+1)*.
According to the proof of Theorem 2.3.3, the corresponding minimal DFA accepting L is
| Previous slide | Next slide | Back to first slide | View graphic version |