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
...
...
...
...