How do I create the shift pattern of ABBBCD?

You need a special care for consecutive patterns.

The first line is an implication A → B.
The second line is an implication A ← [BBB]. The third line is [BBB] → C.
The forth line is prohibiting a single pattern of B. The fifth line is prohibiting a pattern of [BB]. The sixth line is B ← C.





Load the Project File

File → Open Project File from GitHub