| Back: | ⟨a, b | aa=1, bbabb=babb⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: arenaWorkLimit
| # | Rule |
|---|---|
| 1. | aa ⇒ 1 |
| 2. | bbabb ⇒ babb |
| 3. | bbababb ⇒ bababb |
| 4. | bbabababb ⇒ babababb |
| 5. | bbababababb ⇒ bababababb |
| 6. | bbabababababb ⇒ babababababb |
| 7. | bbababababababb ⇒ bababababababb |
| 8. | bbabababababababb ⇒ babababababababb |
| 9. | bbababababababababb ⇒ bababababababababb |
| 10. | bbabababababababababb ⇒ babababababababababb |
| 11. | bbababababababababababb ⇒ bababababababababababb |
| 12. | bbabababababababababababb ⇒ babababababababababababb |
| 13. | bbababababababababababababb ⇒ bababababababababababababb |
| 14. | bbabababababababababababababb ⇒ babababababababababababababb |
| 15. | bbababababababababababababababb ⇒ bababababababababababababababb |
| 16. | bbabababababababababababababababb ⇒ babababababababababababababababb |
| 17. | bbababababababababababababababababb ⇒ bababababababababababababababababb |
| 18. | bbabababababababababababababababababb ⇒ babababababababababababababababababb |
| 19. | bbababababababababababababababababababb ⇒ bababababababababababababababababababb |
| 20. | bbabababababababababababababababababababb ⇒ babababababababababababababababababababb |
| 21. | bbababababababababababababababababababababb ⇒ bababababababababababababababababababababb |
| 22. | bbabababababababababababababababababababababb ⇒ babababababababababababababababababababababb |
| 23. | bbababababababababababababababababababababababb ⇒ bababababababababababababababababababababababb |
| 24. | bbabababababababababababababababababababababababb ⇒ babababababababababababababababababababababababb |
| 25. | bbababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababb |
| 26. | bbabababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababb |
| 27. | bbababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababb |
| 28. | bbabababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababb |
| 29. | bbababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababb |
| 30. | bbabababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababb |
| 31. | bbababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababb |
| 32. | bbabababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababb |
| 33. | bbababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababb |
| 34. | bbabababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababb |
| 35. | bbababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababb |
| 36. | bbabababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababb |
| 37. | bbababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababb |
| 38. | bbabababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababb |
| 39. | bbababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababb |
| 40. | bbabababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababb |
| 41. | bbababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababb |
| 42. | bbabababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababb |
| ... |
Collecting factors up to length 14, frequency 2:
| Length 2: | [2/0] bb, [2/1] ba |
|---|---|
| Length 3: | [3/0] bab, [3/1] aba |
| Length 4: | [4/0] babb, [4/1] baba |
| Length 5: | [5/0] babab, [5/1] ababa |
| Length 6: | [6/0] bababb, [6/1] bababa |
| Length 7: | [7/0] bababab, [7/1] abababa |
| Length 8: | [8/0] babababb, [8/1] babababa |
| Length 9: | [9/0] babababab, [9/1] ababababa |
| Length 10: | [10/0] bababababb, [10/1] bababababa |
| Length 11: | [11/0] bababababab, [11/1] abababababa |
| Length 12: | [12/0] babababababb, [12/1] babababababa |
| Length 13: | [13/0] babababababab, [13/1] ababababababa |
Considering [length 2 / frequency 0] bb=c.
Rewriting system is complete. See ⟨a, b | aa=1, bbabb=babb⟩.