Reads in a DFA as a 5-tuple. with  a specific EBNF.