Turing Machines
A few examples of what you can ask Wolfram|Alpha about: