Turing Machine concepts