Morphocompletion for #4084 ⟨a, b | baa=aab, abab=1⟩

Back:⟨a, b | baa=aab, abab=1⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aab ⇒ baa
2. baba ⇒ 1
3. abab ⇒ 1
4. babbaa ⇒ ab
5. abbab ⇒ babba
6. babbbaa ⇒ abb
7. abbbab ⇒ babbba
8. babbbbaa ⇒ abbb
9. abbbbab ⇒ babbbba
10. babbbbbaa ⇒ abbbb
11. abbbbbab ⇒ babbbbba
12. babbbbbbaa ⇒ abbbbb
13. abbbbbbab ⇒ babbbbbba
14. babbbbbbbaa ⇒ abbbbbb
15. abbbbbbbab ⇒ babbbbbbba
16. babbbbbbbbaa ⇒ abbbbbbb
17. abbbbbbbbab ⇒ babbbbbbbba
18. babbbbbbbbbaa ⇒ abbbbbbbb
19. abbbbbbbbbab ⇒ babbbbbbbbba
20. babbbbbbbbbbaa ⇒ abbbbbbbbb
21. abbbbbbbbbbab ⇒ babbbbbbbbbba
22. babbbbbbbbbbbaa ⇒ abbbbbbbbbb
23. abbbbbbbbbbbab ⇒ babbbbbbbbbbba
24. babbbbbbbbbbbbaa ⇒ abbbbbbbbbbb
25. abbbbbbbbbbbbab ⇒ babbbbbbbbbbbba
26. babbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbb
27. abbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbba
28. babbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbb
29. abbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbba
30. babbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbb
31. abbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbba
32. babbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbba
34. babbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbb
35. abbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbba
36. babbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbb
37. abbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbba
38. babbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbba
40. babbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbb
41. abbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbba
42. babbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbba
44. babbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbba
46. babbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbb
47. abbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbba
48. babbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbb
49. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbba
50. babbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
51. abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbba
52. babbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
53. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbba
54. babbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbba
56. babbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbba
58. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbba
60. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
62. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
64. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
66. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
68. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
70. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
71. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
72. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
74. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
76. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
77. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
78. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
79. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] aa, [2/1] bb
Length 3:[3/0] bab, [3/1] bbb
Length 4:[4/0] abba, [4/1] bbbb
Length 5:[5/0] abbba, [5/1] bbbbb
Length 6:[6/0] abbbba, [6/1] bbbbbb
Length 7:[7/0] abbbbba, [7/1] bbbbbbb
Length 8:[8/0] abbbbbba, [8/1] bbbbbbbb
Length 9:[9/0] abbbbbbba, [9/1] bbbbbbbbb
Length 10:[10/0] abbbbbbbba, [10/1] bbbbbbbbbb
Length 11:[11/0] abbbbbbbbba, [11/1] bbbbbbbbbbb
Length 12:[12/0] abbbbbbbbbba, [12/1] bbbbbbbbbbbb
Length 13:[13/0] abbbbbbbbbbba, [13/1] bbbbbbbbbbbbb

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

Step 2

Rewriting system is complete. See ⟨a, b | baa=aab, abab=1⟩.