In rechentheoretischen Kursen wird gezeigt, dass Zählmaschinen mit zwei oder mehr Zählern Turingmaschinen entsprechen. Ich habe jedoch keine formale Analyse gesehen, welche Sprachen von einem Ein-Zähler-Automaten erkannt werden können. Entsprechen diese Sprachen den kontextfreien Sprachen...