| Back: | ⟨a, b | aa=1, abbabb=bb⟩ |
|---|
Solved by morph:3/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: arenaWorkLimit
| # | Rule |
|---|---|
| 1. | aa ⇒ 1 |
| 2. | bbbb ⇒ bb |
| 3. | bbabb ⇒ abb |
| 4. | bbababb ⇒ ababb |
| 5. | bbabababb ⇒ abababb |
| 6. | bbababababb ⇒ ababababb |
| 7. | bbabababababb ⇒ abababababb |
| 8. | bbababababababb ⇒ ababababababb |
| 9. | bbabababababababb ⇒ abababababababb |
| 10. | bbababababababababb ⇒ ababababababababb |
| 11. | bbabababababababababb ⇒ abababababababababb |
| 12. | bbababababababababababb ⇒ ababababababababababb |
| 13. | bbabababababababababababb ⇒ abababababababababababb |
| 14. | bbababababababababababababb ⇒ ababababababababababababb |
| 15. | bbabababababababababababababb ⇒ abababababababababababababb |
| 16. | bbababababababababababababababb ⇒ ababababababababababababababb |
| 17. | bbabababababababababababababababb ⇒ abababababababababababababababb |
| 18. | bbababababababababababababababababb ⇒ ababababababababababababababababb |
| 19. | bbabababababababababababababababababb ⇒ abababababababababababababababababb |
| 20. | bbababababababababababababababababababb ⇒ ababababababababababababababababababb |
| 21. | bbabababababababababababababababababababb ⇒ abababababababababababababababababababb |
| 22. | bbababababababababababababababababababababb ⇒ ababababababababababababababababababababb |
| 23. | bbabababababababababababababababababababababb ⇒ abababababababababababababababababababababb |
| 24. | bbababababababababababababababababababababababb ⇒ ababababababababababababababababababababababb |
| 25. | bbabababababababababababababababababababababababb ⇒ abababababababababababababababababababababababb |
| 26. | bbababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababb |
| 27. | bbabababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababb |
| 28. | bbababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababb |
| 29. | bbabababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababb |
| 30. | bbababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababb |
| 31. | bbabababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababb |
| 32. | bbababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababb |
| 33. | bbabababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababb |
| 34. | bbababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababb |
| 35. | bbabababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababb |
| 36. | bbababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababb |
| 37. | bbabababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababb |
| 38. | bbababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababb |
| 39. | bbabababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababb |
| 40. | bbababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababb |
| 41. | bbabababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababb |
| 42. | bbababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababb |
| ... |
Collecting factors up to length 14, frequency 2:
| Length 2: | [2/0] bb, [2/1] ab |
|---|---|
| Length 3: | [3/0] abb, [3/1] aba |
| Length 4: | [4/0] abab, [4/1] baba |
| Length 5: | [5/0] ababb, [5/1] ababa |
| Length 6: | [6/0] ababab, [6/1] bababa |
| Length 7: | [7/0] abababb, [7/1] abababa |
| Length 8: | [8/0] abababab, [8/1] babababa |
| Length 9: | [9/0] ababababb, [9/1] ababababa |
| Length 10: | [10/0] ababababab, [10/1] bababababa |
| Length 11: | [11/0] abababababb, [11/1] abababababa |
| Length 12: | [12/0] abababababab, [12/1] babababababa |
| Length 13: | [13/0] ababababababb, [13/1] ababababababa |
Considering [length 3 / frequency 0] abb=c.
Rewriting system is complete. See ⟨a, b | aa=1, abbabb=bb⟩.