Morphocompletion for #13272 ⟨a, b | bba=abb, bbb=bb⟩

Back:⟨a, b | bba=abb, bbb=bb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bba ⇒ abb
2. bbb ⇒ bb
3. babb ⇒ abb
4. baabb ⇒ aabb
5. baaabb ⇒ aaabb
6. baaaabb ⇒ aaaabb
7. baaaaabb ⇒ aaaaabb
8. baaaaaabb ⇒ aaaaaabb
9. baaaaaaabb ⇒ aaaaaaabb
10. baaaaaaaabb ⇒ aaaaaaaabb
11. baaaaaaaaabb ⇒ aaaaaaaaabb
12. baaaaaaaaaabb ⇒ aaaaaaaaaabb
13. baaaaaaaaaaabb ⇒ aaaaaaaaaaabb
14. baaaaaaaaaaaabb ⇒ aaaaaaaaaaaabb
15. baaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaabb
16. baaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaabb
17. baaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaabb
18. baaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaabb
19. baaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaabb
20. baaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaabb
21. baaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaabb
22. baaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaabb
23. baaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaabb
24. baaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaabb
25. baaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaabb
26. baaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaabb
27. baaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaabb
28. baaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaabb
29. baaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaabb
30. baaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaabb
31. baaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
32. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
33. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
34. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
35. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
36. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
37. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
38. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
39. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
40. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
41. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
42. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
43. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
44. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
45. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
46. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
47. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
48. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
49. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
50. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
51. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
52. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
53. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
54. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
55. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
56. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
57. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
58. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
59. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
60. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
61. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
62. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
63. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
64. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
65. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
66. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
67. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
68. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
69. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
70. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
71. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
72. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
73. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
74. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
75. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
76. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
77. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
78. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
79. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
80. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] aa
Length 3:[3/0] aaa, [3/1] abb
Length 4:[4/0] aaaa, [4/1] aabb
Length 5:[5/0] aaaaa, [5/1] aaabb
Length 6:[6/0] aaaaaa, [6/1] aaaabb
Length 7:[7/0] aaaaaaa, [7/1] aaaaabb
Length 8:[8/0] aaaaaaaa, [8/1] aaaaaabb
Length 9:[9/0] aaaaaaaaa, [9/1] aaaaaaabb
Length 10:[10/0] aaaaaaaaaa, [10/1] aaaaaaaabb
Length 11:[11/0] aaaaaaaaaaa, [11/1] aaaaaaaaabb
Length 12:[12/0] aaaaaaaaaaaa, [12/1] aaaaaaaaaabb
Length 13:[13/0] aaaaaaaaaaaaa, [13/1] aaaaaaaaaaabb

Considering [length 3 / frequency 1] abb=c.

Step 2

Rewriting system is complete. See ⟨a, b | bba=abb, bbb=bb⟩.