[Verse 1] Picture a machine that lives in thought alone No gears or circuits, just decisions it has grown Feed it symbols, watch it process what you send Accept or reject, that's how stories always end Input flows like water through its abstract core Processing magic behind a mathematical door [Chorus] Computation is the dance of yes and no Abstract machines decide which strings can go Languages are puzzles that machines can solve Recognition patterns, watch the logic evolve Input, process, answer back Accept or reject, stay on track [Verse 2] Languages aren't words that people speak each day They're sets of strings that follow rules in their own way A machine recognizes when it gets things right Accepting every string that fits its guiding light Rejecting all the rest that don't belong inside Decision problems where the truth cannot hide [Chorus] Computation is the dance of yes and no Abstract machines decide which strings can go Languages are puzzles that machines can solve Recognition patterns, watch the logic evolve Input, process, answer back Accept or reject, stay on track [Bridge] Chomsky built a tower, four levels climbing high Regular at the bottom, simple patterns that comply Context-Free above it, nested structures in the mix Context-Sensitive follows, dependencies that stick Recursively Enumerable crowns the sacred peak Each level holds the power that the lower levels seek [Verse 3] Every computation starts with this design Abstract state machines drawing the divine line Between the strings accepted and the ones cast out Recognition engines, that's what it's about The hierarchy stands like stairs ascending toward the sky Each step more powerful than the last, reaching ever high [Chorus] Computation is the dance of yes and no Abstract machines decide which strings can go Languages are puzzles that machines can solve Recognition patterns, watch the logic evolve Input, process, answer back Accept or reject, stay on track [Outro] From Regular to Enumerable, the tower holds them all Abstract machines answering computation's call
← 1 Mathematical Preliminaries | 1 Deterministic Finite Automata (DFA) →