Abstract (EN):
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.
Language:
English
Type (Professor's evaluation):
Scientific
No. of pages:
12