In ihrer Kombination sind formale Sprachen und Automaten ein Grundpfeiler der Informatik. Der Bildungsplan für allgemein bildende Gymnasien in Baden-Württemberg enthält im Wesentlichen reguläre und kontextfreie Sprachen und die dazu passenden Typen von Automaten. Die Materialien enthalten hierzu einige Umsetzungsbeispiele unter anderem zu Mealy-Automaten und Kellerautomaten.
