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