Rational subsets of partially reversible monoids
A class of monoids that can model partial reversibility allowing simultaneously instances of two-sided reversibility, one-sided reversibility and no reversibility is considered. Some of the basic decidability problems involving their rational subsets, syntactic congruences and characterization of recognizability. are solved using purely automata-theoretic techniques, giving further insight into the structure of recognizable languages. (C) 2008 Elsevier B.V. All rights reserved.
rational reversibility recognizable rewriting systems