Engelfriet, J. Two-way automata and checking automata. (English) Zbl 0423.68035 Foundations of computer science. III. Part 1: Automata, data structures, complexity, 3rd adv. Course, Amsterdam 1978, Math. Cent. Tracts 108, 3-69 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 Documents MSC: 68Q45 Formal languages and automata 68-02 Research exposition (monographs, survey articles) pertaining to computer science Keywords:two-way automata; checking automata; tree transducers; register grammars; two-way pushdown automata; two-way read-only tape; two-way finite state transducers; transition tables; grammars for two-way transducers; gsm mappings; macro grammars; complexity Citations:Zbl 0403.00014 PDFBibTeX XML