DFA
B0
E1
0>a>1
0>b>1
1>a>0
1>b>1