DFA for M2

A deterministic finite automaton M2 based on the provided transition table.