patterns-dfa.c