\input zb-basic
\input zb-ioport
\iteman{io-port 03709617}
\itemau{Hartmanis, J.}
\itemti{On the succinctness of different representations of languages.}
\itemso{SIAM J. Comput. 9, 114-120 (1980).}
\itemcc{}
\itemut{context-free languages; deterministic languages; unambiguous languages; verified representations; Turing machines; valid computations}
\itemli{doi:10.1137/0209010}
\end