Morphocompletion for #19818 ⟨a, b | aaa=a, abba=bab⟩

Back:⟨a, b | aaa=a, abba=bab⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaa ⇒ a
2. babaa ⇒ bab
3. abba ⇒ bab
4. aabab ⇒ bab
5. babb ⇒ bbaba
6. bababab ⇒ bbababa
7. abbbab ⇒ bbababa
8. abbbbab ⇒ bbbabab
9. abbbbbab ⇒ bbbbbaba
10. abbbbbbab ⇒ bbbbbababa
11. abbbbbbbab ⇒ bbbbbbabab
12. abbbbbbbbab ⇒ bbbbbbbbaba
13. abbbbbbbbbab ⇒ bbbbbbbbababa
14. abbbbbbbbbbab ⇒ bbbbbbbbbabab
15. abbbbbbbbbbbab ⇒ bbbbbbbbbbbaba
16. abbbbbbbbbbbbab ⇒ bbbbbbbbbbbababa
17. abbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbabab
18. abbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbaba
19. abbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbababa
20. abbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbabab
21. abbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbaba
22. abbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbababa
23. abbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbabab
24. abbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbaba
25. abbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbababa
26. abbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbabab
27. abbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbaba
28. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbababa
29. abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbabab
30. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbaba
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbababa
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbabab
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbababa
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababa
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababa
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababa
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababa
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababa
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababa
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabab
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababa
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] ab, [2/1] bb
Length 3:[3/0] bab, [3/1] bbb
Length 4:[4/0] bbbb, [4/1] bbab
Length 5:[5/0] bbbbb, [5/1] bbbab
Length 6:[6/0] bababa, [6/1] bbbbbb
Length 7:[7/0] bbbbbab, [7/1] bbbbbbb
Length 8:[8/0] bbbbbbbb, [8/1] bbbbbbab
Length 9:[9/0] bbbbbbbbb, [9/1] bbbbbbbab
Length 10:[10/0] bbbbbbbbab, [10/1] bbbbbbbbbb
Length 11:[11/0] bbbbbbbbbbb, [11/1] bbbbbbbbbab
Length 12:[12/0] bbbbbbbbbbbb, [12/1] bbbbbbbbbbab
Length 13:[13/0] bbbbbbbbbbbab, [13/1] bbbbbbbbbbbbb

Considering [length 2 / frequency 0] ab=c.

Step 2

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