Rewrite Systems
rule 1
rule 2
rule 3
rule 4
rule 5
rule 6
rule 7
rule 8
rule 9
rule 10
Enter
Exit
Enter
Rules
1 rule
2 rules
3 rules
4 rules
5 rules
6 rules
7 rules
8 rules
9 rules
10 rules