a) Configuration: pax
p
q1
q3
a
a
q2
e
Next Configuration:
q1x  or  q2x  or  q3ax ?
...
...
...
...
Theory vs. Practice
Theory: J ´ Practice: L
2/44
p
b) Configuration: pax
q1
q3
a
b
q2
c
Next Configuration:
Theory: L ´ Practice: J
only q1x
...
...
...
...