Educational abstract machines

MikroSim ist ein Lernprogramm , das die Funktionsweise und das Verhalten eines virtuellen Prozessors unter Microsoft Windows hardwareunabhängig erklärt .

Eine Turingmaschine ist ein mathematisches Berechnungsmodell, das eine abstrakte Maschine beschreibt , die Symbole auf einem Band gemäß einer Regeltabelle manipuliert.