Morphocompletion for #16390 ⟨a, b | aba=ab, abaa=ab⟩

Back:⟨a, b | aba=ab, abaa=ab⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aba ⇒ ab
2. abba ⇒ abb
3. abbba ⇒ abbb
4. abbbba ⇒ abbbb
5. abbbbba ⇒ abbbbb
6. abbbbbba ⇒ abbbbbb
7. abbbbbbba ⇒ abbbbbbb
8. abbbbbbbba ⇒ abbbbbbbb
9. abbbbbbbbba ⇒ abbbbbbbbb
10. abbbbbbbbbba ⇒ abbbbbbbbbb
11. abbbbbbbbbbba ⇒ abbbbbbbbbbb
12. abbbbbbbbbbbba ⇒ abbbbbbbbbbbb
13. abbbbbbbbbbbbba ⇒ abbbbbbbbbbbbb
14. abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
15. abbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbb
16. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
17. abbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbb
20. abbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbb
21. abbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbb
22. abbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbb
23. abbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbb
24. abbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
25. abbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
26. abbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
27. abbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
28. abbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
29. abbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ab
Length 3:[3/0] bbb, [3/1] abb
Length 4:[4/0] bbbb, [4/1] abbb
Length 5:[5/0] bbbbb, [5/1] abbbb
Length 6:[6/0] bbbbbb, [6/1] abbbbb
Length 7:[7/0] bbbbbbb, [7/1] abbbbbb
Length 8:[8/0] bbbbbbbb, [8/1] abbbbbbb
Length 9:[9/0] bbbbbbbbb, [9/1] abbbbbbbb
Length 10:[10/0] bbbbbbbbbb, [10/1] abbbbbbbbb
Length 11:[11/0] bbbbbbbbbbb, [11/1] abbbbbbbbbb
Length 12:[12/0] bbbbbbbbbbbb, [12/1] abbbbbbbbbbb
Length 13:[13/0] bbbbbbbbbbbbb, [13/1] abbbbbbbbbbbb

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

Step 2

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