Is there an Example DFA of an ATM?