00344    a2200121   4500020001500000082001500015100002200030245005700052260004500109300002200154650002300176700002300199  a8185015961  a511.3bHOP  aHopcroft, John E.  aIntroduction automata theory, languages, computation  aNew DelhibNarosa publishingc1979g1987  axii, 418p.c23cm.  aMathematical logic  aUllman, Jeffrey D.