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
}