Table[RandomSMWGivenLHS[threeno,10],{10}]
{{BABAAAAAABAAB,BABBAAAAAAAABB,BBBAAABABBAA},{BBAABABBA,BBBABAABABBBBA,BBAAABBAABB},{AAABBBBBAAABBBA,ABAABBAABAAAA,ABABBABBBBBB},{ABABBBBAABBAABB,AAAABBB,ABAABBAA},{BBBAABABABABBBB,BBABAABBB,BABBAABAAAAAAA},{AAABABAB,AAABBBBABBBBABA,AABBABABBBBB},{AABABBBBBB,AABBABBBBAAAAAAA,AAABBBBAAA},{AAABBBAAAABBABBB,AABBABBBABBAB,AABABBBA},{AAABBBB,ABAABBA,ABABBBABBBBBBB},{AABBBAABBBB,AABBABAAAAAABABA,AABABB}}
Table[RandomSMWGivenLHS[threeno,10],{5000}];
rinit="AABBAABAAABABBAABABAABBABBAAABBBABAAAABABAAAAABBBB";
Table[RuleChecker[RandomSMWGivenLHS[threeno,10],rinit],{1000}];
Cases[%,_List]
{{Partially cyclic,{BBAABAB,BBAAABB,BBBABABBBAAABABA}}}
{First[#],Length[#]}&/@Split[Sort[%83]]
{{Pure cyclic,1},{Too long,515},{Unapplied,483},{{Partially cyclic,{BBAABAB,BBAAABB,BBBABABBBAAABABA}},1}}
Show[SMWSimpleGraphics[SMWEvolveList[{"BBAABA""B","BBAAA""BB","BBBABA""BBBAAABABA"},rinit,30]]];
Show[SMWSimpleGraphics[SMWEvolveList[{"BBAABA""B","BBAAA""BB","BBBABA""BBBAAABABA"},rinit,30,Backward]]];
Select[Table[RandomSMWGivenLHS[threeno,10],{5000}],InterestingRuleQ[#,rinit]&]
Show[SMWSimpleGraphics[SMWEvolveList[#,rinit,30]]]&/@Take[%,10];
Show[SMWSimpleGraphics[SMWEvolveList[%88[[2]],rinit,50]]];
MapIndexed[Show[SMWSimpleGraphics[SMWEvolveList[#,rinit,30]],PlotLabel->BigFont[#2]]&,%88];