No Deciding
written by the Klein 3 Group
aka Sam Cole, Joe Kramer Miller, and David Leibovic


A tape that's
full up with blank symbols
a 9-tuple that defines you
who knows if you'll halt?

Q a set of states 
and Gamma a set of symbols
Sigma, a subset of Gamma

The tape head
just moves left or right
delta brings us

back and forth with no deciding 3x

halting, problem,

this is my final state
my final configuration

back and forth with no deciding 3x

such a pretty proof of
such a pretty theorem

back and forth with no deciding 3x