DFA for M1

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