| 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:
| [2/0] | bb | 41246 | lf:82,lp:41,ls:41,rf:41,rs:41,lprs:41,lsrs:41,a:1 |
|---|---|---|---|
| [2/1] | ba | 1763 | lf:861,rf:861,rp:41,a:1 |
| [3/0] | bab | 1763 | lf:861,rf:861,rp:41,a:1 |
| [3/1] | aba | 1640 | lf:820,rf:820,a:2 |
| [4/0] | baba | 1680 | lf:820,rf:820,rp:40,a:2 |
| [4/1] | abab | 1640 | lf:820,rf:820,a:2 |
| [5/0] | babab | 1680 | lf:820,rf:820,rp:40,a:2 |
| [5/1] | ababa | 1560 | lf:780,rf:780,a:3 |
| [6/0] | bababa | 1599 | lf:780,rf:780,rp:39,a:3 |
| [6/1] | ababab | 1560 | lf:780,rf:780,a:3 |
| [7/0] | bababab | 1599 | lf:780,rf:780,rp:39,a:3 |
| [7/1] | abababa | 1482 | lf:741,rf:741,a:4 |
| [8/0] | babababa | 1520 | lf:741,rf:741,rp:38,a:4 |
| [8/1] | abababab | 1482 | lf:741,rf:741,a:4 |
| [9/0] | babababab | 1520 | lf:741,rf:741,rp:38,a:4 |
| [9/1] | ababababa | 1406 | lf:703,rf:703,a:5 |
| [10/0] | bababababa | 1443 | lf:703,rf:703,rp:37,a:5 |
| [10/1] | ababababab | 1406 | lf:703,rf:703,a:5 |
| [11/0] | bababababab | 1443 | lf:703,rf:703,rp:37,a:5 |
| [11/1] | abababababa | 1332 | lf:666,rf:666,a:6 |
| [12/0] | babababababa | 1368 | lf:666,rf:666,rp:36,a:6 |
| [12/1] | abababababab | 1332 | lf:666,rf:666,a:6 |
| [13/0] | babababababab | 1368 | lf:666,rf:666,rp:36,a:6 |
| [13/1] | ababababababa | 1260 | lf:630,rf:630,a:7 |
Considering [length 2 / frequency 0] bb=c.
Rewriting system is complete. See ⟨a, b | aa=1, bbabb=babb⟩.