NDFA
B0
E1,2
0>a>1
0>b>1
0>$>2
1>a>0
1>b>1
2>a>1
2>b>0
2>b>2