Pushed Transition Table to Abstract Turing Machine