| Back: | ⟨a, b | baaba=abaab⟩ |
|---|
Solved by morph:3/1. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | baaba ⇒ abaab |
| 2. | baaabaab ⇒ aabaabba |
| 3. | baaaabaab ⇒ aabaabbaa |
| 4. | baaaaabaab ⇒ aabaabbaaa |
| 5. | baaaaaabaab ⇒ aabaabbaaaa |
| 6. | baaaaaaabaab ⇒ aabaabbaaaaa |
| 7. | baaaaaaaabaab ⇒ aabaabbaaaaaa |
| 8. | baaaaaaaaabaab ⇒ aabaabbaaaaaaa |
| 9. | baaaaaaaaaabaab ⇒ aabaabbaaaaaaaa |
| 10. | baaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaa |
| 11. | baaaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaaa |
| 12. | baaaaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaaaa |
| 13. | baaaaaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaaaaa |
| 14. | baaaaaaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaaaaaa |
| 15. | baaaaaaaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaaaaaaa |
| 16. | baaaaaaaaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaaaaaaaa |
| 17. | baaaaaaaaaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaaaaaaaaa |
| 18. | baaaaaaaaaaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaaaaaaaaaa |
| 19. | baaaaaaaaaaaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaaaaaaaaaaa |
| 20. | baaaaaaaaaaaaaaaaaaaaabaab ⇒ aabaabbaaaaaaaaaaaaaaaaaaa |
| ... |
Collecting factors up to length 8, frequency 7:
| Length 2: | [2/0] aa, [2/1] ba, [2/2] ab, [2/3] bb |
|---|---|
| Length 3: | [3/0] aaa, [3/1] baa, [3/2] aab, [3/3] aba, [3/4] bba, [3/5] abb |
| Length 4: | [4/0] aaaa, [4/1] baab, [4/2] baaa, [4/3] aaba, [4/4] abaa, [4/5] aaab, [4/6] bbaa |
| Length 5: | [5/0] aaaaa, [5/1] abaab, [5/2] baaaa, [5/3] aabaa, [5/4] aaaba, [5/5] aaaab, [5/6] baaab |
| Length 6: | [6/0] aaaaaa, [6/1] aabaab, [6/2] baaaaa, [6/3] aaabaa, [6/4] aaaaba, [6/5] aaaaab, [6/6] baaaba |
| Length 7: | [7/0] aaaaaaa, [7/1] aaabaab, [7/2] baaaaaa, [7/3] aaaabaa, [7/4] aaaaaba, [7/5] aaaaaab, [7/6] baaabaa |
Considering [length 3 / frequency 1] baa=c.
Rewriting system is complete. See ⟨a, b | baaba=abaab⟩.