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.

#Alphabet, #Wort und Grammatik, #DEA, #NEA, #Chomsky 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 Turingmaschine, #Informale 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.

#RAM, #Arithmetische Befehle, #Transportbefehle, #Sprungbefehle

Mehr