Input (grade 4): This theory forms the basis of the Turing test.
Output (grade 6): This machine is the basis of modern computers.