TY - BOOK AU - Kriegel,Hans-Peter AU - Cremers,Armin B. ED - Gesellschaft für Informatik. ED - GI Symposium on Theoretical Computer Science TI - Theoretical computer science: 6th GI-Conference, Dortmund, January 5-7, 1983 AV - QA267 T473 1983 PY - 1982/// CY - Berlin PB - Springer KW - Machine theory KW - Congresses KW - Formal languages N1 - Paper presented at the 6th Biannual GI Symposium on Theoretical Computer Science, held in Dortmund, Germany, Jan. 5-7, 1983, and sponsored by the Special Interest Group for Automata and Formal Language Theory of the Gesellschaft für Informatik ER -