| Back: | ⟨a, b | aababaab=a⟩ |
|---|
Completion settings:
Axiom: aababaab=a.
Referenced by [2], [3], [4], [5].
Overlap of [1] aababaab=a with [1] aababaab=a:
Critical pair: aababa=aabaab.
Overlap of [1] aababaab=a with [2] aababa=aabaab:
Critical pair: aabaabab=a.
Referenced by [4].
Overlap of [1] aababaab=a with [2] aababa=aabaab:
Critical pair: aababaabaab=aaba.
Reduce LHS:
| [2] | (aababa)abaab |
| [3] | ⇒ (aabaabab)aab |
| ⇒ aaab |
Flip LHS and RHS.
Defines rule #1.
Overlap of [1] aababaab=a with [4] aaba=aaab:
Critical pair: aaabbaab=a.
Referenced by [7].
Overlap of [2] aababa=aabaab with [4] aaba=aaab:
Critical pair: aaabba=aabaab.
Reduce RHS:
| [4] | (aaba)ab |
| [4] | ⇒ a(aaba)b |
| ⇒ aaaabb |
Defines rule #2.
Referenced by [7].
Simplify [5] aaabbaab=a.
Reduce LHS:
| [6] | (aaabba)ab |
| [6] | ⇒ a(aaabba)b |
| ⇒ aaaaabbb |
Defines rule #3.