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 & zastav P5: $xy → y$x P6: null → $ V tomto příkladě jsou produkční pravidla vybírány v pořadí P1–P6.