000 00825nam a2200217Ia 4500
003 OSt
005 20220321114422.0
008 220128s9999 xx 000 0 und d
020 _a9788131525296
040 _cCUS
082 _23rd ed.
_a511.35
_bSIP/I
100 _aSipser, Michael
_95135
245 0 _aIntroduction to the Theory of Computation,
260 _aNew Delhi:
_bCengage Learning,
_c2013.
300 _axxii,458p.
505 _aRegular languages -- Context-free languages -- The Church-Turing thesis -- Decidability -- Reducibility -- Advanced topics in computability theory -- Time complexity -- Space complexity -- Interactibility -- Advanced topics in complexity theory.
650 _aMachine theory.
_94755
650 _aComputational complexity.
_94757
942 _2ddc
_cWB16
947 _a570
999 _c210584
_d210584