TY - BOOK AU - Sudkamp, Thomas A. TI - Languages and machines : An introduction to the theory of co SN - 0-201-82136-2 U1 - 511.3 PY - 1997/// KW - Computational ER -