[Verse 1]
One tape or many, it's all the same
Multi-tape machines can play the game
With polynomial slowdown, they compute
Every language that single tapes can suit
[Chorus]
Turing variants, they're equivalent inside
Same languages, just different rides
Deterministic or with choice to make
Multi-tape or single, same results they'll take
All roads lead to the same class of speech
Every variant has the same long reach
[Verse 2]
Nondeterministic branches out wide
Multiple paths running side by side
But exponential time is what you'll pay
To simulate each possible way
[Chorus]
Turing variants, they're equivalent inside
Same languages, just different rides
Deterministic or with choice to make
Multi-tape or single, same results they'll take
All roads lead to the same class of speech
Every variant has the same long reach
[Bridge]
Enumerators printing out the strings
Random access memory with all the things
RAM model racing through the memory space
But still the same recursive language base
[Verse 3]
From single tape to many working together
Nondeterministic choices that we can tether
Time may change but power stays the same
Recognition is still the name of the game
[Chorus]
Turing variants, they're equivalent inside
Same languages, just different rides
Deterministic or with choice to make
Multi-tape or single, same results they'll take
All roads lead to the same class of speech
Every variant has the same long reach
[Outro]
Different forms but one computational heart
Every variant plays the same part
The class remains unchanged through every test
Turing equivalence at its very best