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