Ginsburg, Seymour; Spanier, Edwin H. Finite-turn pushdown automata. (English) Zbl 0147.25302 SIAM J. Control 4, 429-453 (1966). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 74 Documents Keywords:mathematical logic PDFBibTeX XMLCite \textit{S. Ginsburg} and \textit{E. H. Spanier}, SIAM J. Control 4, 429--453 (1966; Zbl 0147.25302) Full Text: DOI