Vom endlichen Automaten zum Kellerautomaten und von der Grammatik zur Sprache — die Modelle hinter Compilern und Protokollen.