dfa mp - dfa, validator classes
dfa mp - validates function prototypes