Turing Theories

• turing_0 (general facts related to Turing Machines)
• turing_1 (definitions of Turing Machine, Configuration, Acceptable Configuration)