Morphocompletion for #13265 ⟨a, b | bab=abb, bbb=bb⟩

Back:⟨a, b | bab=abb, bbb=bb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. bbb ⇒ bb
2. abb ⇒ bab
3. bbab ⇒ bab
4. babab ⇒ abab
5. baabab ⇒ aabab
6. baaabab ⇒ aaabab
7. baaaabab ⇒ aaaabab
8. baaaaabab ⇒ aaaaabab
9. baaaaaabab ⇒ aaaaaabab
10. baaaaaaabab ⇒ aaaaaaabab
11. baaaaaaaabab ⇒ aaaaaaaabab
12. baaaaaaaaabab ⇒ aaaaaaaaabab
13. baaaaaaaaaabab ⇒ aaaaaaaaaabab
14. baaaaaaaaaaabab ⇒ aaaaaaaaaaabab
15. baaaaaaaaaaaabab ⇒ aaaaaaaaaaaabab
16. baaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaabab
17. baaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaabab
18. baaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaabab
19. baaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaabab
20. baaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaabab
21. baaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaabab
22. baaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaabab
23. baaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaabab
24. baaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaabab
25. baaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaabab
26. baaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaabab
27. baaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaabab
28. baaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaabab
29. baaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaabab
30. baaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaabab
31. baaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaabab
32. baaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
33. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
34. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
35. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
36. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
37. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
38. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
39. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
40. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
41. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
42. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
43. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
44. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
45. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
46. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
47. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
48. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
49. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
50. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
51. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
52. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
53. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
54. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
55. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
56. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
57. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
58. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
59. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
60. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
61. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
62. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
63. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
64. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
65. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
66. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabab
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] ab, [2/1] aa
Length 3:[3/0] aaa, [3/1] bab
Length 4:[4/0] aaaa, [4/1] abab
Length 5:[5/0] aaaaa, [5/1] aabab
Length 6:[6/0] aaaaaa, [6/1] aaabab
Length 7:[7/0] aaaaaaa, [7/1] aaaabab
Length 8:[8/0] aaaaaaaa, [8/1] aaaaabab
Length 9:[9/0] aaaaaaaaa, [9/1] aaaaaabab
Length 10:[10/0] aaaaaaaaaa, [10/1] aaaaaaabab
Length 11:[11/0] aaaaaaaaaaa, [11/1] aaaaaaaabab
Length 12:[12/0] aaaaaaaaaaaa, [12/1] aaaaaaaaabab
Length 13:[13/0] aaaaaaaaaaaaa, [13/1] aaaaaaaaaabab

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

Step 2

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