Skip to main content

Formale Sprachen und Automatentheorie

Die theoretische Informatik befasst sich mit der Berechenbarkeit von Problemen und wie diese effizient gelöst werden können. Diese Probleme werden in formale Sprachen „formuliert“, welche uns erst die Untersuchung und Berechnungen ermöglichen.

AlphabetWort und GrammatikDEANEAChomsky Hierarchie

Mehr


Turingmaschinen

Turingmaschinen spielen in der theoretischen Informatik eine große Rolle. Es handelt sich um einfache mathematische Modelle für eine Maschine oder einen Automaten.

Komponenten einer TuringmaschineInformale Beschreibung

Mehr


Random Access Machine (RAM)

Eine Random Access Machine, häufig auch als Registermaschine bezeichnet, ist ein mathematisches Rechnermodell, welches einem realen Rechner ähnlich ist.

RAMArithmetische BefehleTransportbefehleSprungbefehle

Mehr