| Back: | ⟨a, b | aab=ba, bbbba=a⟩ |
|---|
Completion settings:
Axiom: aab=ba.
Flip LHS and RHS.
Defines rule #2.
Axiom: bbbba=a.
Reduce LHS:
| [1] | bbb(ba) |
| [1] | ⇒ bb(ba)ab |
| [1] | ⇒ b(ba)abab |
| [1] | ⇒ (ba)ababab |
| [1] | ⇒ aa(ba)babab |
| [1] | ⇒ aaaab(ba)bab |
| [1] | ⇒ aaaa(ba)abbab |
| [1] | ⇒ aaaaaa(ba)bbab |
| [1] | ⇒ aaaaaaaabb(ba)b |
| [1] | ⇒ aaaaaaaab(ba)abb |
| [1] | ⇒ aaaaaaaa(ba)ababb |
| [1] | ⇒ aaaaaaaaaa(ba)babb |
| [1] | ⇒ aaaaaaaaaaaab(ba)bb |
| [1] | ⇒ aaaaaaaaaaaa(ba)abbb |
| [1] | ⇒ aaaaaaaaaaaaaa(ba)bbb |
| ⇒ aaaaaaaaaaaaaaaabbbb |
Overlap of [1] ba=aab with [2] aaaaaaaaaaaaaaaabbbb=a:
Critical pair: ba=aabaaaaaaaaaaaaaaabbbb.
Reduce LHS:
| [1] | (ba) |
| ⇒ aab |
Reduce RHS:
| [1] | aa(ba)aaaaaaaaaaaaaabbbb |
| [1] | ⇒ aaaa(ba)aaaaaaaaaaaaabbbb |
| [1] | ⇒ aaaaaa(ba)aaaaaaaaaaaabbbb |
| [1] | ⇒ aaaaaaaa(ba)aaaaaaaaaaabbbb |
| [1] | ⇒ aaaaaaaaaa(ba)aaaaaaaaaabbbb |
| [1] | ⇒ aaaaaaaaaaaa(ba)aaaaaaaaabbbb |
| [1] | ⇒ aaaaaaaaaaaaaa(ba)aaaaaaaabbbb |
| [1] | ⇒ aaaaaaaaaaaaaaaa(ba)aaaaaaabbbb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaa(ba)aaaaaabbbb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaa(ba)aaaaabbbb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaa(ba)aaaabbbb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaa(ba)aaabbbb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaa(ba)aabbbb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)abbbb |
| [1] | ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa(ba)bbbb |
| [2] | ⇒ aaaaaaaaaaaaaaaa(aaaaaaaaaaaaaaaabbbb)b |
| ⇒ aaaaaaaaaaaaaaaaab |
Flip LHS and RHS.
Referenced by [4].
Overlap of [2] aaaaaaaaaaaaaaaabbbb=a with [1] ba=aab:
Critical pair: aaaaaaaaaaaaaaaabbbaab=aa.
Reduce LHS:
| [1] | aaaaaaaaaaaaaaaabb(ba)ab |
| [1] | ⇒ aaaaaaaaaaaaaaaab(ba)abab |
| [1] | ⇒ aaaaaaaaaaaaaaaa(ba)ababab |
| [3] | ⇒ a(aaaaaaaaaaaaaaaaab)ababab |
| [1] | ⇒ aaa(ba)babab |
| [1] | ⇒ aaaaab(ba)bab |
| [1] | ⇒ aaaaa(ba)abbab |
| [1] | ⇒ aaaaaaa(ba)bbab |
| [1] | ⇒ aaaaaaaaabb(ba)b |
| [1] | ⇒ aaaaaaaaab(ba)abb |
| [1] | ⇒ aaaaaaaaa(ba)ababb |
| [1] | ⇒ aaaaaaaaaaa(ba)babb |
| [1] | ⇒ aaaaaaaaaaaaab(ba)bb |
| [1] | ⇒ aaaaaaaaaaaaa(ba)abbb |
| [1] | ⇒ aaaaaaaaaaaaaaa(ba)bbb |
| [3] | ⇒ (aaaaaaaaaaaaaaaaab)bbb |
| ⇒ aabbbb |
Overlap of [2] aaaaaaaaaaaaaaaabbbb=a with [4] aabbbb=aa:
Critical pair: aaaaaaaaaaaaaaaa=a.
Defines rule #1.
Referenced by [6].
Overlap of [5] aaaaaaaaaaaaaaaa=a with [4] aabbbb=aa:
Critical pair: aaaaaaaaaaaaaaaa=abbbb.
Reduce LHS:
| [5] | (aaaaaaaaaaaaaaaa) |
| ⇒ a |
Flip LHS and RHS.
Defines rule #3.