Alana 1.0 reviewDownload
A highly responsive Turing machine simulator written in Tcl/Tk
A highly responsive Turing machine simulator written in Tcl/Tk. Contains many examples (unary and binary addition, subtraction, multiplication, a 5-state busy beaver, 2 string parsing examples, divisibility test, primality test), a theoretical introduction to Turing machines, a proof of the undecidability of the halting problem and pointers to further literature.
It requires Tcl/Tk 8.3 or later.
Alana 1.0 search tags