Alana 1.0 review
DownloadA 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.
Requirements:
It requires Tcl/Tk 8.3 or later.
Alana 1.0 search tags