Automata and Language Theory Machine Problems