We generalize the word problem for groups, the formal language of all words in the generators that represent the identity, to inverse monoids.
確定! 回上一頁