##########################################################################
# Logical Not Machine
# Comment line starts with '#'

# The states, delimited with ',' but no space, except h - the halt state
K = {qs,qs',q0,q1,q2}

# The set of alphabet, without #,L,R
E = {a,b}

# The start state
s = qs

# The transition function.  The first line must be "d =" and followed
#  by the lines of transitions.  Completely BLANK line and comment line
#  should be okay.  End the list of transition functions with a line
#  having '%' as the first character
d =

# Move to the first non-# symbol in the left
# Reach state q0 when it done!
qs-#/L->qs'
qs'-a/L->qs'
qs'-b/L->qs'
qs'-#/R->q0

q0-a/b->q1
q0-b/a->q1
q1-a/R->q0
q1-b/R->q0
q0-#/#->h
%
########################################################################