Morphocompletion for #1658 ⟨a, b, c | aab=ba, abc=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

Reduction order:
- Right-to-left recursive path with deg(a) = deg(c) = 0, a < c; deg(b) = 1

Rewriting system is not complete: lhsLimit

#	Rule
1.	ba ⇒ aab
2.	abc ⇒ 1
3.	aabbc ⇒ b
4.	aaaabbbc ⇒ bb
5.	aaaaaaaabbbbc ⇒ bbb
6.	aaaaaaaaaaaaaaaabbbbbc ⇒ bbbb
7.	aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbbbbc ⇒ bbbbb
	...

Collecting factors up to length 4 / frequency 4:

Considering [length 2 / frequency 2] bc=d.

Checking up to 20 rules for overlaps.

Auxiliary generators:
1. d = bc
Reduction order:
- Right-to-left recursive path with deg(a) = deg(c) = deg(d) = 0, a < c < d; deg(b) = 1

Rewriting system is not complete: lhsLimit

#	Rule
1.	ad ⇒ 1
2.	ba ⇒ aab
3.	bc ⇒ d
4.	aabd ⇒ b
5.	aaaabbd ⇒ bb
6.	aaaaaaaabbbd ⇒ bbb
7.	aaaaaaaaaaaaaaaabbbbd ⇒ bbbb
8.	aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbbbd ⇒ bbbbb
	...

Collecting factors up to length 6 / frequency 3:

Considering [length 5 / frequency 1] aaaab=e.

Auxiliary generators:
1. d = bc
2. e = aaaab
Reduction order:
- Right-to-left recursive path with deg(a) = deg(c) = deg(d) = 0, a < c < d; deg(e) = deg(b) = 1, e < b

Rewriting system is complete. See ⟨a, b, c | aab=ba, abc=1⟩.