Matthias Jantzen.
On twist-closed trios.
Bericht des Fachbereichs Informatik FBI-HH-B- 204/97, Universität
Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg,
1997.
@techreport{Jantzen97a, Abstract = {The language theoretic operation $\mathit{twist}$ from [M.~Jantzen, H.~Peterson 1987] is studied in connection with the semiAFLs of languages accepted by reversal bounded multipushdown and multicounter acceptors. It is proved that the least $\mathit{twist}$-closed trio generated by $\mathrm{MIR} := \{ ww^{rev} \mid w \in\{a, b\}^* \}$ is equal to the family of languages accepted in quasi-realtime by nondeterministic one-way multipushdown acceptors which operate in such a way that in every computation each pushdown makes at most one reversal.}, Address = FBIUniAdresse, Author = {Jantzen, Matthias}, Institution = FBIUniHHbis2005, Number = {FBI-HH-B- 204/97}, Pages = 18, Type = FBIBericht, Title = {On twist-closed trios}, Year = 1997 }