[Verse 1] Seven pieces make the blueprint clear Q for states, Sigma symbols appear Gamma's alphabet grows wide and vast Delta function maps what's coming fast Q-zero starts the computation dance Accept, reject - the final stance [Chorus] Turing machine with infinite tape Moving left and right to reshape Every symbol that the head can see Q cross Gamma yields the trinity New state, new mark, direction free Computing power's mystery [Verse 2] Configurations freeze each moment's frame Current state and tape position's name String to left and string to right unfold Computation history being told Step by step the transitions flow Church and Turing's theorem we now know [Chorus] Turing machine with infinite tape Moving left and right to reshape Every symbol that the head can see Q cross Gamma yields the trinity New state, new mark, direction free Computing power's mystery [Bridge] What computers do, these models capture Abstract mathematics, concrete rapture Deterministic rules that never bend Halting states where journeys end Seven-tuple holds the cosmic key Universal computation spree [Chorus] Turing machine with infinite tape Moving left and right to reshape Every symbol that the head can see Q cross Gamma yields the trinity New state, new mark, direction free Computing power's mystery [Outro] Delta maps the transformation game Input alphabet, working alphabet's claim From configuration to the next we glide Automata theory's eternal guide
← 6 Parsing Algorithms (Applied) | 2 Variants of Turing Machines →