Morphocompletion for #22792 ⟨a, b | aaa=1, ababa=bab⟩

Back:⟨a, b | aaa=1, ababa=bab⟩

Solved by morph:3/0. (See Morphocompletion.)

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaa ⇒ 1
2. abab ⇒ babaa
3. abbab ⇒ babba
4. abbbab ⇒ babbaaba
5. abbbbab ⇒ babbaabaaba
6. abbbbbab ⇒ babbaabaabaaba
7. abbbbbbab ⇒ babbaabaabaabaaba
8. abbbbbbbab ⇒ babbaabaabaabaabaaba
9. abbbbbbbbab ⇒ babbaabaabaabaabaabaaba
10. abbbbbbbbbab ⇒ babbaabaabaabaabaabaabaaba
11. abbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaaba
12. abbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaaba
13. abbbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaabaaba
14. abbbbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaabaabaaba
15. abbbbbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaabaabaabaaba
16. abbbbbbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaabaabaabaabaaba
17. abbbbbbbbbbbbbbbabaa ⇒ babbaabaabaabaabaabaabaabaabaabaabaabaabaab
18. abbbbbbbbbbbbbbbbab ⇒ babbaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
19. abbbbbbbbbbbbbbbbabaa ⇒ babbaabaabaabaabaabaabaabaabaabaabaabaabaabaab
20. abbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbaa
21. abbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbaa
22. abbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbaa
23. abbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbaa
24. abbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbaa
25. abbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbaa
26. abbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbaa
27. abbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbaa
28. abbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbaa
29. abbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbaa
30. abbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbaa
31. abbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbbaa
32. abbbbbbbbbbbbbbbbbbbbbbbbbbabba ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbbbaa
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbabba ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbbb
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbabba ⇒ bbabbaabbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ab
Length 3:[3/0] bab, [3/1] bba
Length 4:[4/0] abba, [4/1] bbbb
Length 5:[5/0] bbabb, [5/1] bbbbb
Length 6:[6/0] bbabba, [6/1] bbbbbb
Length 7:[7/0] bbbbbbb, [7/1] abbbbbb
Length 8:[8/0] bbbbbbbb, [8/1] abbbbbbb
Length 9:[9/0] bbbbbbbbb, [9/1] abbbbbbbb
Length 10:[10/0] bbbbbbbbbb, [10/1] abbbbbbbbb
Length 11:[11/0] bbbbbbbbbbb, [11/1] abbbbbbbbbb
Length 12:[12/0] bbbbbbbbbbbb, [12/1] abbbbbbbbbbb
Length 13:[13/0] bbbbbbbbbbbbb, [13/1] abbbbbbbbbbbb

Considering [length 3 / frequency 0] bab=c.

Step 2

Rewriting system is complete. See ⟨a, b | aaa=1, ababa=bab⟩.