Decision Problems
Like automatic groups, automatic semigroups have word problem solvable in quadratic time. Kambites & Otto (2006) showed that it is undecidable whether an element of an automatic monoid possesses a right inverse.
Cain (2006) proved that both cancellativity and left-cancellativity are undecidable for automatic semigroups. On the other hand, right-cancellativity is decidable for automatic semigroups (Silva & Steinberg 2004).
Read more about this topic: Automatic Semigroup
Famous quotes containing the words decision and/or problems:
“The impulse to perfection cannot exist where the definition of perfection is the arbitrary decision of authority. That which is born in loneliness and from the heart cannot be defended against the judgment of a committee of sycophants. The volatile essences which make literature cannot survive the clichés of a long series of story conferences.”
—Raymond Chandler (1888–1959)
“Those great ideas which come to you in your sleep just before you awake in morning, those solutions to the world’s problems which, in the light of day, turn out to be duds of the puniest order, couldn’t they be put to some use, after all?”
—Robert Benchley (1889–1945)