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:

[2/0]bb36260lf:77,lp:1,ls:37,rf:73,rp:36,rs:36,lsrp:36,a:2
[2/1]aa3708lf:1335,lp:2,ls:1,rf:1333,rp:36,rs:1,lprs:1,a:2
[3/0]abb36220lf:74,lp:36,ls:36,rf:37,rp:1,rs:36,lprs:36,a:2
[3/1]aaa2555lf:1260,rf:1260,rp:35,a:5
[4/0]abba10076lf:37,lp:36,ls:1,rf:1,rp:1,lsrp:10,a:3
[4/1]baab10006lf:2,lp:1,ls:1,rf:1,rs:1,lprs:10,a:2
[5/0]baaab10006lf:2,lp:1,ls:1,rf:1,rs:1,lprs:10,a:5
[5/1]aaaaa2277lf:1122,rf:1122,rp:33,a:20
[6/0]baaaab10006lf:2,lp:1,ls:1,rf:1,rs:1,lprs:10,a:17
[6/1]aaaaaa2144lf:1056,rf:1056,rp:32,a:23
[7/0]baaaaab10006lf:2,lp:1,ls:1,rf:1,rs:1,lprs:10,a:20
[7/1]aaaaaaa2015lf:992,rf:992,rp:31,a:26
[8/0]baaaaaab10006lf:2,lp:1,ls:1,rf:1,rs:1,lprs:10,a:23
[8/1]aaaaaaaa1890lf:930,rf:930,rp:30,a:29
[9/0]baaaaaaab10006lf:2,lp:1,ls:1,rf:1,rs:1,lprs:10,a:26
[9/1]aaaaaaaaa1769lf:870,rf:870,rp:29,a:32
[10/0]baaaaaaaab10006lf:2,lp:1,ls:1,rf:1,rs:1,lprs:10,a:29
[10/1]aaaaaaaaaa1652lf:812,rf:812,rp:28,a:35
[11/0]baaaaaaaaab10006lf:2,lp:1,ls:1,rf:1,rs:1,lprs:10,a:32
[11/1]aaaaaaaaaaa1539lf:756,rf:756,rp:27,a:38
[12/0]baaaaaaaaaab10006lf:2,lp:1,ls:1,rf:1,rs:1,lprs:10,a:35
[12/1]aaaaaaaaaaaa1430lf:702,rf:702,rp:26,a:41
[13/0]baaaaaaaaaaab10006lf:2,lp:1,ls:1,rf:1,rs:1,lprs:10,a:38
[13/1]aaaaaaaaaaaaa1325lf:650,rf:650,rp:25,a:44

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

Step 2

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