Morphocompletion for #19831 ⟨a, b | aaa=a, baab=abb⟩

Back:⟨a, b | aaa=a, baab=abb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aaa ⇒ a
2. baab ⇒ abb
3. ababb ⇒ babb
4. abbabb ⇒ bbabb
5. abbbabb ⇒ bbbabb
6. abbbbabb ⇒ bbbbabb
7. abbbbbabb ⇒ bbbbbabb
8. abbbbbbabb ⇒ bbbbbbabb
9. abbbbbbbabb ⇒ bbbbbbbabb
10. abbbbbbbbabb ⇒ bbbbbbbbabb
11. abbbbbbbbbabb ⇒ bbbbbbbbbabb
12. abbbbbbbbbbabb ⇒ bbbbbbbbbbabb
13. abbbbbbbbbbbabb ⇒ bbbbbbbbbbbabb
14. abbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbabb
15. abbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbabb
16. abbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbabb
17. abbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbabb
18. abbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbabb
19. abbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbabb
20. abbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbabb
21. abbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbabb
22. abbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbabb
23. abbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbabb
24. abbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbabb
25. abbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbabb
26. abbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbabb
27. abbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbabb
28. abbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbabb
29. abbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbabb
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ab
Length 3:[3/0] abb, [3/1] bbb
Length 4:[4/0] bbbb, [4/1] babb
Length 5:[5/0] bbbbb, [5/1] bbabb
Length 6:[6/0] bbbbbb, [6/1] bbbabb
Length 7:[7/0] bbbbbbb, [7/1] bbbbabb
Length 8:[8/0] bbbbbbbb, [8/1] bbbbbabb
Length 9:[9/0] bbbbbbbbb, [9/1] bbbbbbabb
Length 10:[10/0] bbbbbbbbbb, [10/1] bbbbbbbabb
Length 11:[11/0] bbbbbbbbbbb, [11/1] bbbbbbbbabb
Length 12:[12/0] bbbbbbbbbbbb, [12/1] bbbbbbbbbabb
Length 13:[13/0] bbbbbbbbbbbbb, [13/1] bbbbbbbbbbabb

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=a, baab=abb⟩.