| Back: | ⟨a, b | aabbbaabaab=1⟩ |
|---|
Solved by morph:2/0,3/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | bbaab ⇒ aabbb |
| 2. | bbaabaab ⇒ aabbbaab |
| 3. | bbaaaabbb ⇒ aaaabbbbb |
| 4. | aabbbaabaab ⇒ 1 |
| 5. | bbaaaabaabbb ⇒ aaaabaabbbbb |
| 6. | bbaaaaaabbbbb ⇒ aaaaaabbbbbbb |
| 7. | bbaaaabaabaabbb ⇒ aaaabaabaabbbbb |
| 8. | bbaaaaaabaabbbbb ⇒ aaaaaabaabbbbbbb |
| ... |
Collecting factors up to length 7, frequency 4:
| Length 2: | [2/0] bb, [2/1] aa, [2/2] ab, [2/3] ba |
|---|---|
| Length 3: | [3/0] aab, [3/1] bba, [3/2] bbb, [3/3] aaa |
| Length 4: | [4/0] bbaa, [4/1] baab, [4/2] aaaa, [4/3] abbb |
| Length 5: | [5/0] bbaaa, [5/1] aabbb, [5/2] abaab, [5/3] aabaa |
| Length 6: | [6/0] bbaaaa, [6/1] aabaab, [6/2] baabbb, [6/3] abbbbb |
Considering [length 2 / frequency 0] bb=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | bc ⇒ cb |
| 2. | bb ⇒ c |
| 3. | aac ⇒ caa |
| 4. | ccaabaabaa ⇒ b |
| 5. | caabaabaab ⇒ 1 |
| 6. | baabaabaa ⇒ aabaabaab |
| 7. | ccaabaabacaa ⇒ bac |
| 8. | ccaabaabaccaa ⇒ bacc |
| 9. | caccacbaabaaba ⇒ cacc |
| 10. | ccaaaabaabaa ⇒ aab |
| 11. | ccbaabaabacaa ⇒ cac |
| 12. | caaaabaabaab ⇒ aa |
| 13. | ccbaaaabaabaa ⇒ baab |
| 14. | cbaaaabaabaab ⇒ baa |
| 15. | caaaaaabaabaab ⇒ aaaa |
| ... |
Collecting factors up to length 6, frequency 7:
| Length 2: | [2/0] aa, [2/1] ab, [2/2] ba, [2/3] ca, [2/4] cc, [2/5] ac, [2/6] cb |
|---|---|
| Length 3: | [3/0] aab, [3/1] baa, [3/2] aba, [3/3] caa, [3/4] aaa, [3/5] cca, [3/6] cba |
| Length 4: | [4/0] aaba, [4/1] abaa, [4/2] baab, [4/3] ccaa, [4/4] aaaa, [4/5] aaab, [4/6] caaa |
| Length 5: | [5/0] aabaa, [5/1] abaab, [5/2] baaba, [5/3] ccaab, [5/4] aaaba, [5/5] aaaab, [5/6] caaaa |
Considering [length 3 / frequency 0] aab=d.
Rewriting system is complete. See ⟨a, b | aabbbaabaab=1⟩.