| 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:
| Length 2: | [2/0] bb, [2/1] aa |
|---|---|
| Length 3: | [3/0] bab, [3/1] aba |
| Length 4: | [4/0] baba, [4/1] abab |
| Length 5: | [5/0] babab, [5/1] ababa |
| Length 6: | [6/0] bababa, [6/1] ababab |
| Length 7: | [7/0] bababab, [7/1] abababa |
| Length 8: | [8/0] babababa, [8/1] abababab |
| Length 9: | [9/0] babababab, [9/1] ababababa |
| Length 10: | [10/0] bababababa, [10/1] ababababab |
| Length 11: | [11/0] bababababab, [11/1] abababababa |
| Length 12: | [12/0] babababababa, [12/1] abababababab |
| Length 13: | [13/0] babababababab, [13/1] ababababababa |
Considering [length 2 / frequency 0] bb=c.
Rewriting system is complete. See ⟨a, b | aabb=1, abba=1⟩.