A note on: `Deque automata and a subfamily of context-sensitive languages which contains all semilinear bounded languages' (by K. Ayers)
Theorem 3.6 in \textit{K. Ayer}'s paper [ibid. 40, 163-174 (1985; Zbl 0603.68081)] is false. See also the author, \textit{A. Brandstädt} and \textit{K. W. Wagner} [Math. Syst. Theory 19, 277-299 (1987; Zbl 0633.68036)].
scientific article; zbMATH DE number 4035190
scientific article