Automatentheorie (Nomen)