00567cam a2200133 a 4500020002100000020002400021082001600045100002000061245004600081260003800127300003300165500003700198650019800235  a8131525295 (pbk)  a9788131525296 (pbk)00a511.35bSIP1 aSipser, Michael10aIntroduction to the theory of computation  aNew DehlibCengage Learningc2013  axxii, 458 p.b: ill.c23 cm.  aIncludes bibliography and index. 0aComputer scienceaMachine theoryvMathematical notionsvComputational complexityvFinite automatavHilbert's problemsvDiagonalization methodsvComplexity theoryvReducibilityvDecidabilityvFC