| Back: | ⟨a, b | aaab=ba, bbba=a⟩ |
|---|
Completion settings:
Axiom: aaab=ba.
Flip LHS and RHS.
Defines rule #2.
Axiom: bbba=a.
Reduce LHS:
| [1] | bb(ba) |
| [1] | ⇒ b(ba)aab |
| [1] | ⇒ (ba)aabaab |
| [1] | ⇒ aaa(ba)abaab |
| [1] | ⇒ aaaaaa(ba)baab |
| [1] | ⇒ aaaaaaaaab(ba)ab |
| [1] | ⇒ aaaaaaaaa(ba)aabab |
| [1] | ⇒ aaaaaaaaaaaa(ba)abab |
| [1] | ⇒ aaaaaaaaaaaaaaa(ba)bab |
| [1] | ⇒ aaaaaaaaaaaaaaaaaab(ba)b |
| [1] | ⇒ aaaaaaaaaaaaaaaaaa(ba)aabb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaa(ba)abb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaa(ba)bb |
| ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaabbb |
Overlap of [2] aaaaaaaaaaaaaaaaaaaaaaaaaaabbb=a with [1] ba=aaab:
Critical pair: aaaaaaaaaaaaaaaaaaaaaaaaaaabbaaab=aa.
Reduce LHS:
| [1] | aaaaaaaaaaaaaaaaaaaaaaaaaaab(ba)aab |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)aabaab |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)abaab |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)baab |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab(ba)ab |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)aabab |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)abab |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)bab |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab(ba)b |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)aabb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)abb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)bb |
| [2] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaa(aaaaaaaaaaaaaaaaaaaaaaaaaaabbb) |
| ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaa |
Referenced by [4].
Overlap of [3] aaaaaaaaaaaaaaaaaaaaaaaaaaaa=aa with [2] aaaaaaaaaaaaaaaaaaaaaaaaaaabbb=a:
Critical pair: aa=aabbb.
Flip LHS and RHS.
Overlap of [2] aaaaaaaaaaaaaaaaaaaaaaaaaaabbb=a with [4] aabbb=aa:
Critical pair: aaaaaaaaaaaaaaaaaaaaaaaaaaa=a.
Defines rule #1.
Referenced by [6].
Overlap of [5] aaaaaaaaaaaaaaaaaaaaaaaaaaa=a with [4] aabbb=aa:
Critical pair: aaaaaaaaaaaaaaaaaaaaaaaaaaa=abbb.
Reduce LHS:
| [5] | (aaaaaaaaaaaaaaaaaaaaaaaaaaa) |
| ⇒ a |
Flip LHS and RHS.
Defines rule #3.