00259nam a2200109 a 450000500170000002000180001708200150003510000200005024500260007026000320009630000210012820251203111403.0  a9788131505137  a511.3bSIP  aSipser, Michael  aTheory of computation  aUSbCourse technologyc2007  a346p.c24cm.cPB