Add tests for pa1_4 dfa's
Add pa1 4 dfa diagram