Morphocompletion for #19794 ⟨a, b | aaa=a, aaba=baa⟩

Back:⟨a, b | aaa=a, aaba=baa⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaa ⇒ a
2. baa ⇒ ba
3. aaba ⇒ ba
4. baba ⇒ bba
5. aabba ⇒ bba
6. babba ⇒ bbba
7. aabbba ⇒ bbba
8. babbba ⇒ bbbba
9. aabbbba ⇒ bbbba
10. babbbba ⇒ bbbbba
11. aabbbbba ⇒ bbbbba
12. babbbbba ⇒ bbbbbba
13. aabbbbbba ⇒ bbbbbba
14. babbbbbba ⇒ bbbbbbba
15. aabbbbbbba ⇒ bbbbbbba
16. babbbbbbba ⇒ bbbbbbbba
17. aabbbbbbbba ⇒ bbbbbbbba
18. babbbbbbbba ⇒ bbbbbbbbba
19. aabbbbbbbbba ⇒ bbbbbbbbba
20. babbbbbbbbba ⇒ bbbbbbbbbba
21. aabbbbbbbbbba ⇒ bbbbbbbbbba
22. babbbbbbbbbba ⇒ bbbbbbbbbbba
23. aabbbbbbbbbbba ⇒ bbbbbbbbbbba
24. babbbbbbbbbbba ⇒ bbbbbbbbbbbba
25. aabbbbbbbbbbbba ⇒ bbbbbbbbbbbba
26. babbbbbbbbbbbba ⇒ bbbbbbbbbbbbba
27. aabbbbbbbbbbbbba ⇒ bbbbbbbbbbbbba
28. babbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
29. aabbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
30. babbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbba
31. aabbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbba
32. babbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
33. aabbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
34. babbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbba
35. aabbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbba
36. babbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
37. aabbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
38. babbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbba
39. aabbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbba
40. babbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
41. aabbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
42. babbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbba
43. aabbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbba
44. babbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
45. aabbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
46. babbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbba
47. aabbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbba
48. babbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
49. aabbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
50. babbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbba
51. aabbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbba
52. babbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
53. aabbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
54. babbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbba
55. aabbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbba
56. babbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
57. aabbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
58. babbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbba
59. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbba
60. babbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
61. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
62. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
63. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
64. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
65. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
66. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
67. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
68. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
69. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
70. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
71. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
72. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
73. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
74. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
75. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
76. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
77. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
78. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
79. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
80. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] ba, [2/1] bb
Length 3:[3/0] bbb, [3/1] bba
Length 4:[4/0] bbbb, [4/1] bbba
Length 5:[5/0] bbbba, [5/1] bbbbb
Length 6:[6/0] bbbbba, [6/1] bbbbbb
Length 7:[7/0] bbbbbba, [7/1] bbbbbbb
Length 8:[8/0] bbbbbbba, [8/1] bbbbbbbb
Length 9:[9/0] bbbbbbbba, [9/1] bbbbbbbbb
Length 10:[10/0] bbbbbbbbba, [10/1] bbbbbbbbbb
Length 11:[11/0] bbbbbbbbbba, [11/1] bbbbbbbbbbb
Length 12:[12/0] bbbbbbbbbbba, [12/1] bbbbbbbbbbbb
Length 13:[13/0] bbbbbbbbbbbba, [13/1] bbbbbbbbbbbbb

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=a, aaba=baa⟩.