Automatentheorie

Natural & Formal Sciences Dictionary
Die mathematische Untersuchung abstrakter Maschinen (Automaten) und der Klassen formaler Sprachen, die sie erkennen, einschließlich endlicher Automaten, Kellerautomaten, linear beschränkter Automaten und Turingmaschinen; verbindet algebraische, logische und kombinatorische Eigenschaften von Sprachen und Rechenmodellen.