P1: $$ -> * P2: *$ -> * P3: *x -> x* P4: * -> null & halt P5: $xy -> y$x P6: null -> $ In this example, production rules are chosen for testing according to their order in this production list.
P1: $$ -> * P2: *$ -> * P3: *x -> x* P4: * -> null & halt P5: $xy -> y$x P6: null -> $ この例では、プロダクションルールは上記リストに書かれた順に評価され選択される。