| Back: | ⟨a, b | abaaabaabba=1⟩ |
|---|
Solved by morph:4/0,3/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | abaabb ⇒ bbaaba |
| 2. | abaabba ⇒ bbaabaa |
| 3. | aaabaab ⇒ baabaaa |
| 4. | baabaaab ⇒ aabbaaba |
| 5. | bbaabaaab ⇒ baabbaaba |
| 6. | baabbaabaaa ⇒ 1 |
| 7. | baabaaaaaab ⇒ aaaaabbaaba |
| 8. | baabaaaaabb ⇒ aaababbaaba |
| 9. | baabaaaaaaaaab ⇒ aaaaaaaabbaaba |
| 10. | baabaaaaabaaab ⇒ aaabaaaabbaaba |
| 11. | baabaaaaaaaabb ⇒ aaaaaababbaaba |
| 12. | baabbaababaabaaa ⇒ abaab |
| 13. | baabbaabaabaabaaa ⇒ aabaab |
| ... |
Collecting factors up to length 7, frequency 4:
| Length 2: | [2/0] aa, [2/1] ba, [2/2] ab, [2/3] bb |
|---|---|
| Length 3: | [3/0] baa, [3/1] aab, [3/2] aaa, [3/3] aba |
| Length 4: | [4/0] baab, [4/1] abaa, [4/2] aaaa, [4/3] aaab |
| Length 5: | [5/0] baaba, [5/1] aabaa, [5/2] abaaa, [5/3] aaaaa |
| Length 6: | [6/0] baabaa, [6/1] aabaaa, [6/2] baabba, [6/3] aaaaaa |
Considering [length 4 / frequency 0] baab=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | acc ⇒ cca |
| 2. | ccaaa ⇒ 1 |
| 3. | aaac ⇒ caaa |
| 4. | caaac ⇒ 1 |
| 5. | caab ⇒ baac |
| 6. | ccacaaa ⇒ ac |
| 7. | baab ⇒ c |
| 8. | abaaacc ⇒ ab |
| 9. | bcaaab ⇒ cca |
| 10. | ccaaabaa ⇒ baa |
| 11. | caaabaac ⇒ aab |
| 12. | bcaaabaa ⇒ 1 |
| 13. | bcaaabcaaa ⇒ ac |
| ... |
Collecting factors up to length 6, frequency 7:
| Length 2: | [2/0] aa, [2/1] ca, [2/2] ab, [2/3] ac, [2/4] cc, [2/5] bc, [2/6] ba |
|---|---|
| Length 3: | [3/0] aaa, [3/1] caa, [3/2] aab, [3/3] baa, [3/4] bca, [3/5] aac, [3/6] cca |
| Length 4: | [4/0] caaa, [4/1] abaa, [4/2] bcaa, [4/3] aaab, [4/4] ccaa, [4/5] aaba, [4/6] aaac |
| Length 5: | [5/0] bcaaa, [5/1] caaab, [5/2] aabaa, [5/3] aaaba, [5/4] abaaa, [5/5] abaac, [5/6] acaaa |
Considering [length 3 / frequency 0] aaa=d.
Rewriting system is complete. See ⟨a, b | abaaabaabba=1⟩.