Hartmanis, J. Computational complexity of formal translations. (English) Zbl 0302.68066 Math. Syst. Theory 8(1974), 156-166 (1975). MSC: 68Q25 68W99 PDFBibTeX XMLCite \textit{J. Hartmanis}, Math. Syst. Theory 8, 156--166 (1975; Zbl 0302.68066) Full Text: DOI
Aho, A. V.; Ullman, J. D. Characterizations and extensions of pushdown translations. (English) Zbl 0217.53803 Math. Syst. Theory 5, 172-192 (1971). MSC: 68T50 68Q55 PDFBibTeX XMLCite \textit{A. V. Aho} and \textit{J. D. Ullman}, Math. Syst. Theory 5, 172--192 (1971; Zbl 0217.53803) Full Text: DOI