Morphocompletion for #1046 ⟨a, b | aa=1, abbabb=1⟩

Back:⟨a, b | aa=1, abbabb=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. aa ⇒ 1
2. abbab ⇒ babba
3. ababb ⇒ bbaba
4. bbabb ⇒ a
5. abbbbab ⇒ babbbba
6. abbbbbbab ⇒ babbbbbba
7. abbbbbbbbab ⇒ babbbbbbbba
8. abbbbbbbbbbab ⇒ babbbbbbbbbba
9. abbbbbbbbbbbbab ⇒ babbbbbbbbbbbba
10. abbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbba
11. abbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbba
12. abbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbba
13. abbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbba
14. abbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbba
15. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbba
16. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbba
17. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbba
18. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
19. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
20. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
21. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
22. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
23. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
24. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
25. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
26. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
27. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
28. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
29. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]ba5215lf:49,ls:5,rf:81,rp:42,rs:38,lsrp:5,a:2
[2/1]bb4461lf:1727,lp:1,ls:2,rf:1725,rp:1,rs:5,lsrp:1,a:2
[3/0]bab37166lf:44,ls:37,rf:43,rp:42,lsrp:37,a:2
[3/1]bbb3369lf:1682,rf:1682,rs:5,a:10
[4/0]abba10004lf:1,lp:1,rf:1,rs:1,lprs:10,a:5
[4/1]bbbb3287lf:1641,rf:1641,rs:5,a:10
[5/0]bbbbb3205lf:1600,rf:1600,rs:5,a:12
[5/1]abbbb123lf:41,lp:41,rf:41,a:10
[6/0]abbbba10004lf:1,lp:1,rf:1,rs:1,lprs:10,a:10
[6/1]bbbbbb3125lf:1560,rf:1560,rs:5,a:12
[7/0]bbbbbbb3045lf:1520,rf:1520,rs:5,a:14
[7/1]abbbbbb120lf:40,lp:40,rf:40,a:12
[8/0]abbbbbba10004lf:1,lp:1,rf:1,rs:1,lprs:10,a:12
[8/1]bbbbbbbb2967lf:1481,rf:1481,rs:5,a:14
[9/0]bbbbbbbbb2889lf:1442,rf:1442,rs:5,a:16
[9/1]abbbbbbbb117lf:39,lp:39,rf:39,a:14
[10/0]abbbbbbbba10004lf:1,lp:1,rf:1,rs:1,lprs:10,a:14
[10/1]bbbbbbbbbb2813lf:1404,rf:1404,rs:5,a:16
[11/0]bbbbbbbbbbb2737lf:1366,rf:1366,rs:5,a:18
[11/1]abbbbbbbbbb114lf:38,lp:38,rf:38,a:16
[12/0]abbbbbbbbbba10004lf:1,lp:1,rf:1,rs:1,lprs:10,a:16
[12/1]bbbbbbbbbbbb2663lf:1329,rf:1329,rs:5,a:18
[13/0]bbbbbbbbbbbbb2589lf:1292,rf:1292,rs:5,a:20
[13/1]abbbbbbbbbbbb111lf:37,lp:37,rf:37,a:18

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

Step 2

Rewriting system is complete. See ⟨a, b | aa=1, abbabb=1⟩.