Weakly and Strongly Irreversible Regular Languages

Finite automata whose computations can be reversed, at any point, by knowing the last k symbols read from the input, for a fixed k, are considered. These devices and their accepted languages are called k-reversible automata and k-reversible languages, respectively. The existence of k-reversible lang...

ver descrição completa

Detalhes bibliográficos
Principais autores: Giovanna J. Lavado, Giovanni Pighizzini, Luca Prigioniero
Formato: Artigo
Idioma:English
Publicado em: Open Publishing Association 2017-08-01
coleção:Electronic Proceedings in Theoretical Computer Science
Acesso em linha:http://arxiv.org/pdf/1708.06465v1