Morphocompletion for #7486 ⟨a, b, c | ab=1, baca=ac⟩

Back:⟨a, b, c | ab=1, baca=ac⟩

Solved by morph:2/0,2/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ 1
2. aca ⇒ aac
3. bac ⇒ acb
4. aacb ⇒ ac
5. acba ⇒ ac
6. acca ⇒ aacc
7. accb ⇒ acbc
8. baac ⇒ ac
9. acbba ⇒ acb
10. acbca ⇒ acc
11. acbcb ⇒ acbbc
12. accca ⇒ aaccc
13. acccb ⇒ acbcc
14. baaac ⇒ aac
15. acbbba ⇒ acbb
16. acbbca ⇒ acbc
17. acbcca ⇒ accc
18. baaaac ⇒ aaac
...

Collecting factors up to length 4 / frequency 4:

[2/0]ac33lf:17,lp:12,ls:4,rf:17,rp:12,rs:6,re:3,lprp:9,lsrp:11,lprs:11,lsrs:3,a:2
[2/1]cb15lf:11,ls:4,rf:7,rs:2,a:3
[2/2]ba14lf:7,lp:4,ls:3,a:3
[2/3]ca12lf:6,ls:6,a:2
[3/0]acb16lf:8,lp:7,ls:1,rf:7,rp:7,rs:2,re:2,lprp:4,lprs:1,a:3
[3/1]acc8lf:4,lp:4,rf:4,rp:2,rs:2,re:1,lprs:10,a:11
[3/2]aac8lf:4,lp:1,ls:3,rf:5,rp:4,rs:3,re:2,lsrp:1,lsrs:2,a:2
[3/3]cca6lf:3,ls:3,a:11

Considering [length 2 / frequency 0] ac=d.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ad ⇒ da
2. ab ⇒ 1
3. ac ⇒ d
4. bd ⇒ db
5. ddb ⇒ dc
6. dba ⇒ d
7. dcd ⇒ ddc
8. dca ⇒ dd
9. dcb ⇒ dbc
10. dbba ⇒ db
11. dbcd ⇒ dcc
12. dbca ⇒ dc
13. dbcb ⇒ dbbc
14. dccd ⇒ ddcc
15. dcca ⇒ ddc
16. dccb ⇒ dbcc
17. dbbba ⇒ dbb
18. dbbca ⇒ dbc
19. dbcca ⇒ dcc
...

Collecting factors up to length 6 / frequency 3:

[2/0]db18lf:9,lp:8,ls:1,rf:7,rp:7,rs:2,re:2,lprp:4,lprs:1,a:5
[2/1]dc12lf:6,lp:6,rf:7,rp:4,rs:4,re:2,lprs:11,a:6
[2/2]ca10lf:5,ls:5,a:7
[3/0]dbc8lf:4,lp:4,rf:3,rp:3,rs:2,re:2,a:10
[3/1]dcc6lf:3,lp:3,rf:3,rp:2,rs:3,re:2,lprs:10,a:13
[3/2]dbb6lf:3,lp:3,rf:2,rp:2,rs:1,re:1,lprp:1,lprs:1,a:9
[4/0]bcca2lf:1,ls:1,a:30
[4/1]bbca2lf:1,ls:1,a:21
[4/2]bbba2lf:1,ls:1,a:19

Considering [length 2 / frequency 0] db=e.

Step 3

Rewriting system is complete. See ⟨a, b, c | ab=1, baca=ac⟩.