|
|
Article: Study data from University of Porto update knowledge of algebra and computation.
- Article from:
- Journal of Mathematics
- Article date:
- November 17, 2009
CopyrightCOPYRIGHT 2009 NewsRX. This material is published under license from the publisher through the Gale Group, Farmington Hills, Michigan. All inquiries regarding rights should be directed to the Gale Group. (Hide copyright information)
|
"This paper studies rr-, lr-, rl-, and ll-automatic structures for finitely generated submonoids of monoids presented by confluent rewriting system that are either finite and special or regular and monadic. A new technique is developed that uses an automaton to ''translate'' between words in the original rewriting system and words over the generators for the submonoid," researchers in Oporto, Portugal report.
"This is applied to show that the submonoid inherits any notion of automatism possessed by the original monoid. Generalizations of results of Otto and Ruskuc are thus obtained: every finitely generated submonoid of a monoid presented by a confluent finite ...