Figure 6: Pseudocode for FindPCs in the case of conjunction powerset as the non-terminals (adding a few more details like the start symbol) and production rules such as {P2} → P2 {P3, P5}.
for our example the chain of patterns applied P 1 , P 2 , P 3 , P 4 , $ could generate a pattern tree that is incompatible with the original tree.