Loop of length 10 starting with a string of length 5 found after enumerating 873 derivations: .bc.caa rule bc -> cbba at position 0 .cbba.caa rule a -> at position 3 .cbb.caa rule bc -> cbba at position 2 .cbcbba.aa rule aaa -> c at position 5 .cbcbbc. rule bc -> cbba at position 4 .cbcbcbba. rule bc -> cbba at position 3 .cbccbbabba. rule b -> at position 4 .cbccbabba. rule b -> at position 4 .cbccabba. rule b -> at position 5 .cbccaba. rule b -> at position 5 .cbccaa.