1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
==========================================
srewrite in VENDING-MACHINE : $ $ $ using all .
Solution 1
rewrites: 1
result Marking: $ $ c
Solution 2
rewrites: 2
result Marking: $ $ q a
No more solutions.
rewrites: 2
==========================================
search in VENDING-MACHINE : $ $ $ =>! a a M:Marking .
Solution 1 (state 8)
states: 10 rewrites: 12
M:Marking --> q q c
Solution 2 (state 9)
states: 10 rewrites: 12
M:Marking --> q q q a
No more solutions.
states: 10 rewrites: 12
==========================================
rewrite in FOO : a a b .
rewrites: 1
result Foo: a a c
Bye.
|
