Simulator für Turing-Maschine gesucht

[hawkeye78]

Hallo zusammen,

wie der Titel es schon andeutet ich bin auf der Suche nach einem Programm mit dem ich eine (mehrbändige) Turingmaschine simulieren kann. Ich habe zwar bereits schon etwas gegoogelt aber leider nur Simulatoren gefunden die online laufen, da ich an der Uni aber meistens ohne netz bin (der Akkulaufzeit zu liebe) suche ich halt etwas das ich auch lokale installieren kann.
Viele Grüsse
Dan