| Back: | ⟨a, b | aabaabbabaa=1⟩ |
|---|
Solved by morph:4/0,5/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | aaaabaabbab ⇒ 1 |
| 2. | baabbaba ⇒ abaabbab |
| 3. | aabaabbabbbaba ⇒ baabbaabaabbab |
| 4. | aabaabbabbaabbaabaabbab ⇒ baabbabbbaba |
| 5. | aabaabbabbaabbaaabaabbab ⇒ baabbabbbabaa |
| 6. | aabaabbabbaabbabbbaba ⇒ baabbabbaabbaabaabbab |
| ... |
Collecting factors up to length 7, frequency 4:
| Length 2: | [2/0] ab, [2/1] ba, [2/2] aa, [2/3] bb |
|---|---|
| Length 3: | [3/0] aab, [3/1] bba, [3/2] abb, [3/3] bab |
| Length 4: | [4/0] bbab, [4/1] abba, [4/2] baab, [4/3] aabb |
| Length 5: | [5/0] abbab, [5/1] baabb, [5/2] aabba, [5/3] aabaa |
| Length 6: | [6/0] baabba, [6/1] aabbab, [6/2] aabaab, [6/3] abaabb |
Considering [length 4 / frequency 0] bbab=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | caaaaba ⇒ acaaaab |
| 2. | aabaac ⇒ caaaab |
| 3. | aaaabaac ⇒ 1 |
| 4. | baaca ⇒ abaac |
| 5. | caacaaa ⇒ bb |
| 6. | aabaabb ⇒ caaa |
| 7. | bbab ⇒ c |
| 8. | caaacaaaab ⇒ ca |
| 9. | bbac ⇒ cbab |
| 10. | aacaaaabc ⇒ c |
| 11. | aabaaccaaa ⇒ baabb |
| 12. | aacaaaabbb ⇒ bb |
| 13. | bbaabaac ⇒ caaca |
| 14. | bbaaabaac ⇒ caacaa |
| 15. | aacaaaabbc ⇒ bc |
| ... |
Collecting factors up to length 6, frequency 7:
| Length 2: | [2/0] aa, [2/1] ac, [2/2] ab, [2/3] bb, [2/4] ca, [2/5] ba, [2/6] bc |
|---|---|
| Length 3: | [3/0] aaa, [3/1] aac, [3/2] aab, [3/3] caa, [3/4] baa, [3/5] bba, [3/6] aba |
| Length 4: | [4/0] caaa, [4/1] baac, [4/2] aaba, [4/3] aaca, [4/4] aaab, [4/5] aaaa, [4/6] abaa |
| Length 5: | [5/0] abaac, [5/1] aabaa, [5/2] aacaa, [5/3] aaaab, [5/4] caaaa, [5/5] acaaa, [5/6] aaaba |
Considering [length 5 / frequency 0] abaac=d.
Rewriting system is complete. See ⟨a, b | aabaabbabaa=1⟩.