Alana simulates a Turing Machine.
In addition to these exciting examples, you'll also find two string parsing examples, a divisibility test, and a primality test. With this software, you'll get much more than just a suite of examples, though. You'll also receive a theoretical introduction to Turing machines, complete with a proof of the undecidability of the halting problem.
If you're looking to take things further, this software has you covered with pointers to further literature. Whether you're a seasoned pro or just starting out, this Turing machine simulator is an excellent choice for anyone looking to explore the world of Turing machines.
Version 1.0: N/A