| Back: | ⟨a, b | aaa=1, babb=baba⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: arenaWorkLimit
| # | Rule |
|---|---|
| 1. | aaa ⇒ 1 |
| 2. | babb ⇒ baba |
| 3. | babaabb ⇒ babaaba |
| 4. | babaabaabb ⇒ babaabaaba |
| 5. | babaabaabaabb ⇒ babaabaabaaba |
| 6. | babaabaabaabaabb ⇒ babaabaabaabaaba |
| 7. | babaabaabaabaabaabb ⇒ babaabaabaabaabaaba |
| 8. | babaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaaba |
| 9. | babaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaaba |
| 10. | babaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaaba |
| 11. | babaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaaba |
| 12. | babaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaaba |
| 13. | babaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaaba |
| 14. | babaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaaba |
| 15. | babaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 16. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 17. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 18. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 19. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 20. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 21. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 22. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 23. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 24. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 25. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 26. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 27. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 28. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 29. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 30. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 31. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 32. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 33. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 34. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 35. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 36. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 37. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 38. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 39. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 40. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 41. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 42. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 43. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 44. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 45. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| 46. | babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba |
| ... |
Collecting factors up to length 14 / frequency 2:
| [2/0] | ba | 47250 | lf:1035,lp:45,rf:1080,rp:45,rs:45,lprp:45,lprs:45,a:1 |
|---|---|---|---|
| [2/1] | ab | 2070 | lf:1035,rf:1035,a:1 |
| [3/0] | aba | 2070 | lf:990,rf:1035,rs:45,a:1 |
| [3/1] | baa | 1980 | lf:990,rf:990,a:2 |
| [4/0] | baab | 1980 | lf:990,rf:990,a:2 |
| [4/1] | abaa | 1980 | lf:990,rf:990,a:2 |
| [5/0] | baaba | 1980 | lf:946,rf:990,rs:44,a:2 |
| [5/1] | abaab | 1980 | lf:990,rf:990,a:2 |
| [6/0] | abaaba | 1980 | lf:946,rf:990,rs:44,a:2 |
| [6/1] | baabaa | 1892 | lf:946,rf:946,a:3 |
| [7/0] | baabaab | 1892 | lf:946,rf:946,a:3 |
| [7/1] | abaabaa | 1892 | lf:946,rf:946,a:3 |
| [8/0] | baabaaba | 1892 | lf:903,rf:946,rs:43,a:3 |
| [8/1] | abaabaab | 1892 | lf:946,rf:946,a:3 |
| [9/0] | abaabaaba | 1892 | lf:903,rf:946,rs:43,a:3 |
| [9/1] | baabaabaa | 1806 | lf:903,rf:903,a:4 |
| [10/0] | baabaabaab | 1806 | lf:903,rf:903,a:4 |
| [10/1] | abaabaabaa | 1806 | lf:903,rf:903,a:4 |
| [11/0] | baabaabaaba | 1806 | lf:861,rf:903,rs:42,a:4 |
| [11/1] | abaabaabaab | 1806 | lf:903,rf:903,a:4 |
| [12/0] | abaabaabaaba | 1806 | lf:861,rf:903,rs:42,a:4 |
| [12/1] | baabaabaabaa | 1722 | lf:861,rf:861,a:5 |
| [13/0] | baabaabaabaab | 1722 | lf:861,rf:861,a:5 |
| [13/1] | abaabaabaabaa | 1722 | lf:861,rf:861,a:5 |
Considering [length 2 / frequency 0] ba=c.
Rewriting system is complete. See ⟨a, b | aaa=1, babb=baba⟩.