These are instructions for Turing Machine
Rule Structure
- Each rule is given two types. One for when the head reads 0, and another for when the head reads 1
- Each rule is structured in the form of
Write|Move|Next_Rule
Given these instruction sets, a program can Halt or continue forever. This is the Halting Problem