Automaten, Sprachen, Komplexität