| Back: | ⟨a, b | aabaa=abab⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | aabaa ⇒ abab |
| 2. | ababbaa ⇒ aababab |
| 3. | abababaa ⇒ ababbab |
| 4. | ababbabbaa ⇒ ababababab |
| 5. | ababbababaa ⇒ ababbabbab |
| 6. | ababbabbabbaa ⇒ ababbabababab |
| 7. | ababbabbababaa ⇒ ababbabbabbab |
| 8. | ababbabbabbabbaa ⇒ ababbabbabababab |
| 9. | ababbabbabbababaa ⇒ ababbabbabbabbab |
| 10. | ababbabbabbabbabbaa ⇒ ababbabbabbabababab |
| 11. | ababbabbabbabbababaa ⇒ ababbabbabbabbabbab |
| 12. | ababbabbabbabbabbabbaa ⇒ ababbabbabbabbabababab |
| 13. | ababbabbabbabbabbababaa ⇒ ababbabbabbabbabbabbab |
| 14. | ababbabbabbabbabbabbabbaa ⇒ ababbabbabbabbabbabababab |
| 15. | ababbabbabbabbabbabbababaa ⇒ ababbabbabbabbabbabbabbab |
| 16. | ababbabbabbabbabbabbabbabbaa ⇒ ababbabbabbabbabbabbabababab |
| 17. | ababbabbabbabbabbabbabbababaa ⇒ ababbabbabbabbabbabbabbabbab |
| ... |
Collecting factors up to length 8, frequency 7:
| Length 2: | [2/0] ab, [2/1] ba, [2/2] bb, [2/3] aa |
|---|---|
| Length 3: | [3/0] bab, [3/1] bba, [3/2] abb, [3/3] aba, [3/4] baa, [3/5] aab |
| Length 4: | [4/0] babb, [4/1] abba, [4/2] bbab, [4/3] abab, [4/4] abaa, [4/5] bbaa, [4/6] baba |
| Length 5: | [5/0] babba, [5/1] abbab, [5/2] bbabb, [5/3] ababb, [5/4] babaa, [5/5] abbaa, [5/6] ababa |
| Length 6: | [6/0] babbab, [6/1] bbabba, [6/2] abbabb, [6/3] ababba, [6/4] babbaa, [6/5] ababaa, [6/6] bababa |
| Length 7: | [7/0] babbabb, [7/1] abbabba, [7/2] bbabbab, [7/3] ababbab, [7/4] bababaa, [7/5] bbabbaa, [7/6] bbababa |
Considering [length 2 / frequency 0] ab=c.
Rewriting system is complete. See ⟨a, b | aabaa=abab⟩.