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 |