Turing Machines are the basis of computers and can do anything any programming language* can.
An online simulator (Java). Another I can't get to work. One for the TI Calculator.
Part of LogicError. Powered by Blogspace, an Aaron Swartz project. Email the webmaster with problems.