TY - BOOK AU - LENIS(HARYR) TI - Theory of computation PB - PHI ER -