Back

〈a, b | aa=a, bab=a〉

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ a
  2. ba ⇒ ab
  3. ab2 ⇒ a

Right Cayley graph (truncated)

Other isomorphic instances

100 total

Length:Presentation:
8〈a, b | aa=a, baab=a〉
8〈a, b | aa=a, bab=aa〉
9〈a, b | aab=ab, bab=a〉
9〈a, b | aab=ba, bab=a〉
9〈a, b | aab=bb, aba=b〉
9〈a, b | aba=ab, bab=a〉
9〈a, b | aba=b, aabb=b〉
9〈a, b | aba=b, abab=b〉
9〈a, b | aba=b, abba=b〉
9〈a, b | aba=b, baab=b〉
9〈a, b | aa=a, baaab=a〉
9〈a, b | aa=a, baab=aa〉
9〈a, b | aa=a, bab=aaa〉
10〈a, b | aaa=aa, baab=a〉
10〈a, b | aab=ab, baab=a〉
10〈a, b | aab=ba, aabb=a〉
10〈a, b | aab=ba, abab=a〉
10〈a, b | aab=ba, abba=a〉
10〈a, b | aab=ba, baba=a〉
10〈a, b | aab=ba, bbaa=a〉
10〈a, b | aba=ab, baab=a〉
10〈a, b | aba=ab, baba=a〉
10〈a, b | aa=a, baaaab=a〉
10〈a, b | aa=a, baaab=aa〉
10〈a, b | aa=a, aaaa=bab〉
10〈a, b | aa=a, baab=aaa〉
11〈a, b | aaab=ba, aabb=b〉
11〈a, b | aaab=ba, abab=b〉
11〈a, b | aaab=ba, abba=b〉
11〈a, b | aaba=ab, aabb=b〉
11〈a, b | aaba=ab, abab=b〉
11〈a, b | aaba=ab, abba=b〉
11〈a, b | abab=aa, baab=a〉
11〈a, b | abab=aa, baba=a〉
11〈a, b | abba=bb, baba=b〉
11〈a, b | abba=bb, bbaa=b〉
11〈a, b | aabb=a, baaab=a〉
11〈a, b | abab=a, baaab=a〉
11〈a, b | abab=a, baaba=a〉
11〈a, b | abab=a, babaa=a〉
11〈a, b | abba=a, baaab=a〉
11〈a, b | abba=b, aabbb=b〉
11〈a, b | abba=b, abbab=b〉
11〈a, b | abba=b, abbba=b〉
11〈a, b | abba=b, baabb=b〉
11〈a, b | aaa=aa, baaab=a〉
11〈a, b | aab=ab, baaab=a〉
11〈a, b | aab=ba, aaabb=a〉
11〈a, b | aab=ba, aabba=a〉
11〈a, b | aab=ba, abaab=a〉
11〈a, b | aab=ba, abbaa=a〉
11〈a, b | aab=ba, baaab=a〉
11〈a, b | aab=ba, baaba=a〉
11〈a, b | aab=ba, bbaaa=a〉
11〈a, b | aba=ab, baaab=a〉
11〈a, b | aba=ab, baaba=a〉
11〈a, b | aba=ab, babaa=a〉
11〈a, b | aba=b, aaaabb=b〉
11〈a, b | aba=b, aaabab=b〉
11〈a, b | aba=b, aaabba=b〉
11〈a, b | aba=b, aabaab=b〉
11〈a, b | aba=b, aababa=b〉
11〈a, b | aba=b, aabbaa=b〉
11〈a, b | aba=b, abaaab=b〉
11〈a, b | aba=b, abaaba=b〉
11〈a, b | aba=b, baaaab=b〉
11〈a, b | aba=b, aaaab=bb〉
11〈a, b | aba=b, aaaba=bb〉
11〈a, b | aba=b, aaabb=ab〉
11〈a, b | aba=b, aaabb=ba〉
11〈a, b | aba=b, aabaa=bb〉
11〈a, b | aba=b, aabab=ab〉
11〈a, b | aba=b, aabab=ba〉
11〈a, b | aba=b, aabba=ab〉
11〈a, b | aba=b, aabba=ba〉
11〈a, b | aba=b, abaab=ab〉
11〈a, b | aba=b, abaab=ba〉
11〈a, b | aba=b, ababa=ab〉
11〈a, b | aba=b, baaab=ab〉
11〈a, b | aba=b, aaab=abb〉
11〈a, b | aba=b, aaab=bab〉
11〈a, b | aba=b, aaab=bba〉
11〈a, b | aba=b, aaba=abb〉
11〈a, b | aba=b, aaba=bab〉
11〈a, b | aba=b, aaba=bba〉
11〈a, b | aba=b, aabb=aab〉
11〈a, b | aba=b, aabb=aba〉
11〈a, b | aba=b, aabb=baa〉
11〈a, b | aba=b, abab=aab〉
11〈a, b | aba=b, abab=aba〉
11〈a, b | aba=b, abab=baa〉
11〈a, b | aba=b, abba=aab〉
11〈a, b | aba=b, abba=aba〉
11〈a, b | aba=b, baab=aab〉
11〈a, b | aba=b, baab=aba〉
11〈a, b | aa=a, baaaaab=a〉
11〈a, b | aa=a, baaaab=aa〉
11〈a, b | aa=a, aaaaa=bab〉
11〈a, b | aa=a, baaab=aaa〉
11〈a, b | aa=a, baab=aaaa〉