| Back: | ⟨a, b | aabb=1, abba=1⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | baa ⇒ aab |
| 2. | bba ⇒ abb |
| 3. | aabb ⇒ 1 |
| 4. | aababb ⇒ ba |
| 5. | aabababb ⇒ baba |
| 6. | aababababb ⇒ bababa |
| 7. | aabababababb ⇒ babababa |
| 8. | aababababababb ⇒ bababababa |
| 9. | aabababababababb ⇒ babababababa |
| 10. | aababababababababb ⇒ bababababababa |
| 11. | aabababababababababb ⇒ babababababababa |
| 12. | aababababababababababb ⇒ bababababababababa |
| 13. | aabababababababababababb ⇒ babababababababababa |
| 14. | aababababababababababababb ⇒ bababababababababababa |
| 15. | aabababababababababababababb ⇒ babababababababababababa |
| 16. | aababababababababababababababb ⇒ bababababababababababababa |
| 17. | aabababababababababababababababb ⇒ babababababababababababababa |
| 18. | aababababababababababababababababb ⇒ bababababababababababababababa |
| 19. | aabababababababababababababababababb ⇒ babababababababababababababababa |
| 20. | aababababababababababababababababababb ⇒ bababababababababababababababababa |
| 21. | aabababababababababababababababababababb ⇒ babababababababababababababababababa |
| 22. | aababababababababababababababababababababb ⇒ bababababababababababababababababababa |
| 23. | aabababababababababababababababababababababb ⇒ babababababababababababababababababababa |
| 24. | aababababababababababababababababababababababb ⇒ bababababababababababababababababababababa |
| 25. | aabababababababababababababababababababababababb ⇒ babababababababababababababababababababababa |
| 26. | aababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababa |
| 27. | aabababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababa |
| 28. | aababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababa |
| 29. | aabababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababa |
| 30. | aababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababa |
| 31. | aabababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababa |
| 32. | aababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababa |
| 33. | aabababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababa |
| 34. | aababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababa |
| 35. | aabababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababa |
| 36. | aababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababa |
| 37. | aabababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababa |
| 38. | aababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababa |
| 39. | aabababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababa |
| 40. | aababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababa |
| 41. | aabababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababa |
| 42. | aababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababa |
| 43. | aabababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababa |
| 44. | aababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababa |
| 45. | aabababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababa |
| 46. | aababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababa |
| 47. | aabababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababa |
| 48. | aababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababa |
| 49. | aabababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababa |
| 50. | aababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababa |
| 51. | aabababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababa |
| 52. | aababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababa |
| 53. | aabababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababa |
| 54. | aababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 55. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 56. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 57. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 58. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 59. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 60. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 61. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 62. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 63. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 64. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 65. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 66. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 67. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 68. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 69. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 70. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 71. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 72. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 73. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 74. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 75. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 76. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 77. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 78. | aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| 79. | aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa |
| ... |
Collecting factors up to length 14 / frequency 2:
| [2/0] | bb | 10158 | lf:78,lp:1,ls:77,rf:1,rs:1,lprs:10 |
|---|---|---|---|
| [2/1] | aa | 10158 | lf:78,lp:77,ls:1,rf:1,rp:1,lsrp:10 |
| [3/0] | bab | 5851 | lf:2926,rf:2850,rp:75,a:3 |
| [3/1] | aba | 5851 | lf:2926,rf:2850,rs:75,a:3 |
| [4/0] | baba | 5851 | lf:2850,rf:2850,rp:75,rs:75,re:1,a:5 |
| [4/1] | abab | 5701 | lf:2926,rf:2775,a:3 |
| [5/0] | babab | 5699 | lf:2850,rf:2775,rp:74,a:5 |
| [5/1] | ababa | 5699 | lf:2850,rf:2775,rs:74,a:5 |
| [6/0] | bababa | 5699 | lf:2775,rf:2775,rp:74,rs:74,re:1,a:6 |
| [6/1] | ababab | 5551 | lf:2850,rf:2701,a:5 |
| [7/0] | bababab | 5549 | lf:2775,rf:2701,rp:73,a:6 |
| [7/1] | abababa | 5549 | lf:2775,rf:2701,rs:73,a:6 |
| [8/0] | babababa | 5549 | lf:2701,rf:2701,rp:73,rs:73,re:1,a:7 |
| [8/1] | abababab | 5403 | lf:2775,rf:2628,a:6 |
| [9/0] | babababab | 5401 | lf:2701,rf:2628,rp:72,a:7 |
| [9/1] | ababababa | 5401 | lf:2701,rf:2628,rs:72,a:7 |
| [10/0] | bababababa | 5401 | lf:2628,rf:2628,rp:72,rs:72,re:1,a:8 |
| [10/1] | ababababab | 5257 | lf:2701,rf:2556,a:7 |
| [11/0] | bababababab | 5255 | lf:2628,rf:2556,rp:71,a:8 |
| [11/1] | abababababa | 5255 | lf:2628,rf:2556,rs:71,a:8 |
| [12/0] | babababababa | 5255 | lf:2556,rf:2556,rp:71,rs:71,re:1,a:9 |
| [12/1] | abababababab | 5113 | lf:2628,rf:2485,a:8 |
| [13/0] | babababababab | 5111 | lf:2556,rf:2485,rp:70,a:9 |
| [13/1] | ababababababa | 5111 | lf:2556,rf:2485,rs:70,a:9 |
Considering [length 2 / frequency 0] bb=c.
Rewriting system is complete. See ⟨a, b | aabb=1, abba=1⟩.