Morphocompletion for #19155 ⟨a, b | aba=a, bbaabb=b⟩

Back:⟨a, b | aba=a, bbaabb=b⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aba ⇒ a
2. bab ⇒ b
3. aabba ⇒ abbaa
4. bbbaa ⇒ ba
5. baabb ⇒ bbaab
6. baaabb ⇒ bbaaab
7. baaaabb ⇒ bbaaaab
8. baaaaabb ⇒ bbaaaaab
9. baaaaaabb ⇒ bbaaaaaab
10. baaaaaaabb ⇒ bbaaaaaaab
11. baaaaaaaabb ⇒ bbaaaaaaaab
12. baaaaaaaaabb ⇒ bbaaaaaaaaab
13. baaaaaaaaaabb ⇒ bbaaaaaaaaaab
14. baaaaaaaaaaabb ⇒ bbaaaaaaaaaaab
15. baaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaab
16. baaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaab
17. baaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaab
18. baaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaab
19. baaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaab
20. baaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaab
21. baaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaab
22. baaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaab
23. baaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaab
24. baaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaab
25. baaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaab
26. baaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaab
27. baaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaab
28. baaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaab
29. baaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaab
30. baaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaab
31. baaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaaab
32. baaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
33. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
34. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
35. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
36. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
37. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
38. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
39. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
40. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ bbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
41. abbaab ⇒ aabb
42. abbaaab ⇒ aaabb
43. abbaaaab ⇒ aaaabb
44. abbaaaaab ⇒ aaaaabb
45. abbaaaaaab ⇒ aaaaaabb
46. abbaaaaaaab ⇒ aaaaaaabb
47. abbaaaaaaaab ⇒ aaaaaaaabb
48. abbaaaaaaaaab ⇒ aaaaaaaaabb
49. abbaaaaaaaaaab ⇒ aaaaaaaaaabb
50. abbaaaaaaaaaaab ⇒ aaaaaaaaaaabb
51. abbaaaaaaaaaaaab ⇒ aaaaaaaaaaaabb
52. abbaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaabb
53. abbaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaabb
54. abbaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaabb
55. abbaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaabb
56. abbaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaabb
57. abbaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaabb
58. abbaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaabb
59. abbaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaabb
60. abbaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaabb
61. abbaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaabb
62. abbaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaabb
63. abbaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaabb
64. abbaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaabb
65. abbaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaabb
66. abbaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaabb
67. abbaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaabb
68. abbaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
69. abbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
70. abbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
71. abbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
72. abbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
73. abbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
74. abbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
75. abbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
76. abbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
77. aabbb ⇒ ab
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] aa
Length 3:[3/0] abb, [3/1] aaa
Length 4:[4/0] abba, [4/1] baab
Length 5:[5/0] baaab, [5/1] aaaaa
Length 6:[6/0] baaaab, [6/1] aaaaaa
Length 7:[7/0] baaaaab, [7/1] aaaaaaa
Length 8:[8/0] baaaaaab, [8/1] aaaaaaaa
Length 9:[9/0] baaaaaaab, [9/1] aaaaaaaaa
Length 10:[10/0] baaaaaaaab, [10/1] aaaaaaaaaa
Length 11:[11/0] baaaaaaaaab, [11/1] aaaaaaaaaaa
Length 12:[12/0] baaaaaaaaaab, [12/1] aaaaaaaaaaaa
Length 13:[13/0] baaaaaaaaaaab, [13/1] aaaaaaaaaaaab

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

Step 2

Rewriting system is complete. See ⟨a, b | aba=a, bbaabb=b⟩.