Morphocompletion for #6746 ⟨a, b | aba=a, abba=ab⟩

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

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

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

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 3 / frequency 1] abb=c.

Step 2

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