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.
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
Nº de páginas:
12