ATM machine simulation with nondeterministic finite automaton.