000 00803cam a22002054a 4500
005 20250806130859.0
008 250528s ||||||||||||||||||||||||d
035 _a18486
020 _a132734176
040 _aGR-AtMCL
_bgre
_dGR-AtMCL
_eAACR2
245 1 _aElements of the Theory of Computation
260 _bPrentice Hall,
_c1981
300 _a468
520 _aThis text introduces the classical and contemporary theory of computation. Preface, Sets and Relations and Languages, Finite Automata, Context-Free Languages, Turing Machines, Church's Thesis, Uncomputability, Computational Complexity, The Propositional Calculus, The Predicate Calculus, Index.
700 1 _aLewis, Harry R.
_94747
700 1 _aPapadimitriou, Christos H.
_94748
942 _cBK
999 _c3846
_d3846