Automaton Solver for iPad