000 00139 a2200073 4500
245 _aTheory of computation
942 _cBK
100 _aMichael sipser
999 _c163
_d163