000 | 00755nam a22001697a 4500 | ||
---|---|---|---|
008 | 240203b |||||||| |||| 00| 0 eng d | ||
020 | _a9780357670583 | ||
040 | _cZET-ke | ||
050 |
_aQA267 _b.S57 2013 |
||
100 | _aSipser, Michael. | ||
245 |
_aIntroduction to the theory of computation / _cMichael Sipser. |
||
250 | _a3rd ed. | ||
260 |
_aAustralia: _bCengage Learning; _cc2013. |
||
300 |
_axxii,458p.: _bill.; _c25cm. |
||
505 | _aIntroduction -- Regular languages -- Context-free languages -- The church-turing thesis -- Decidability -- Reducibility -- Advanced topics in computability theory --Time complexity -- Space complexity -- Intrability -- Advanced topics in complexity theory. | ||
942 |
_2lcc _cBK _hQA267 _kQA267 _m.S57 2013 |
||
999 |
_c5899 _d5899 |