Morphocompletion for #1697 ⟨a, b | bab=ab, bbb=b⟩

Back:⟨a, b | bab=ab, bbb=b⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. bab ⇒ ab
2. bbb ⇒ b
3. baab ⇒ aab
4. baaab ⇒ aaab
5. baaaab ⇒ aaaab
6. baaaaab ⇒ aaaaab
7. baaaaaab ⇒ aaaaaab
8. baaaaaaab ⇒ aaaaaaab
9. baaaaaaaab ⇒ aaaaaaaab
10. baaaaaaaaab ⇒ aaaaaaaaab
11. baaaaaaaaaab ⇒ aaaaaaaaaab
12. baaaaaaaaaaab ⇒ aaaaaaaaaaab
13. baaaaaaaaaaaab ⇒ aaaaaaaaaaaab
14. baaaaaaaaaaaaab ⇒ aaaaaaaaaaaaab
15. baaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaab
16. baaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaab
17. baaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaab
18. baaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaab
19. baaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaab
20. baaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaab
21. baaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaab
22. baaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaab
23. baaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaab
24. baaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaab
25. baaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaab
26. baaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaab
27. baaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaab
28. baaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaab
29. baaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaab
30. baaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaab
31. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
32. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
33. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
34. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
35. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
36. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
37. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
38. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
39. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
40. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
41. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
42. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
43. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
44. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
45. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
46. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
47. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
48. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
49. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
50. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
51. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
52. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
53. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
54. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
55. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
56. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
57. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
58. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
59. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
60. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
61. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
62. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
63. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
64. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
65. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] aa, [2/1] ab
Length 3:[3/0] aaa, [3/1] aab
Length 4:[4/0] aaaa, [4/1] aaab
Length 5:[5/0] aaaaa, [5/1] aaaab
Length 6:[6/0] aaaaaa, [6/1] aaaaab
Length 7:[7/0] aaaaaaa, [7/1] aaaaaab
Length 8:[8/0] aaaaaaaa, [8/1] aaaaaaab
Length 9:[9/0] aaaaaaaaa, [9/1] aaaaaaaab
Length 10:[10/0] aaaaaaaaaa, [10/1] aaaaaaaaab
Length 11:[11/0] aaaaaaaaaaa, [11/1] aaaaaaaaaab
Length 12:[12/0] aaaaaaaaaaaa, [12/1] aaaaaaaaaaab
Length 13:[13/0] aaaaaaaaaaaaa, [13/1] aaaaaaaaaaaab

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

Step 2

Rewriting system is complete. See ⟨a, b | bab=ab, bbb=b⟩.