00552cam a2200133 a 4500020002400000020002100024082001600045100002000061245004600081260003800127300003300165500002000198650020000218  a9788131525296 (pbk)  a8131525295 (pbk)00a511.35bSIP1 aSipser, Michael10aIntroduction to the theory of computation  aNew DehlibCengage Learningc2013  axxii, 458 p.b: ill.c23 cm.  aIncludes index. 0aMachine theoryaComputer sciencevMathematical notionsvComputational complexityvFinite automatavHilbert's problemsvDiagonalization methodsvComplexity theoryvReducibilityvDecidabilityvFBSH