nfa to dfa images
pda rule and configuration