| 000 | 02630nam0a2200385 4500 | ||
|---|---|---|---|
| 001 | 236656 | ||
| 005 | 20231029210743.0 | ||
| 010 | _a9781118014783 | ||
| 035 | _a(RuTPU)RU\TPU\book\257822 | ||
| 090 | _a236656 | ||
| 100 | _a20130426d2012 k y0engy50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aUS | ||
| 105 | _aa z 001zy | ||
| 200 | 1 |
_aTheory of Computation _fG. Tourlakis |
|
| 210 |
_aHoboken _cJohn Wiley & Sons, Inc. _d2012 |
||
| 215 |
_a389 p. _cil. |
||
| 320 | _aBibliography: p. 375-378. | ||
| 320 | _aIndex: p. 379-389. | ||
| 330 | _aLearn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do-from the most general model, the URM (Unbounded Register Machines), to the finite automaton. A wealth of programming-like examples and easy-to-follow explanations build the general theory gradually, which guides readers through the modeling and mathematical analysis of computational phenomena and provides insights on what makes things tick and also what restrains the ability of computational processes. Recognizing the importance of acquired practical experience, the book begins with the metatheory of general purpose computer programs, using URMs as a straightforward, technology-independent model of modern high-level rogramming languages while also exploring the restrictions of the URM language. Once readers gain an understanding of computability theory-including the primitive recursive functions-the author presents automata and languages, covering the regular and context-free languages as well as the machines that recognize these languages. Several advanced topics such as reducibilities, the recursion theorem, complexity theory, and Cook's theorem are also discussed. | ||
| 606 | 1 |
_aВычислительная математика _2stltpush _3(RuTPU)RU\TPU\subj\4022 |
|
| 610 | 1 | _aвычисления | |
| 610 | 1 | _aтеория | |
| 610 | 1 | _aвычислительные задачи | |
| 610 | 1 | _aвычислительные процессы | |
| 610 | 1 | _aвычислительные модели | |
| 610 | 1 | _aвычислительные алгоритмы | |
| 610 | 1 | _aанглийский язык | |
| 610 | 1 | _aдискретная математика | |
| 675 |
_a519.6 _v3 |
||
| 700 | 1 |
_aTourlakis _bG. _gGeorge |
|
| 801 | 1 |
_aRU _b63413507 _c20130426 |
|
| 801 | 2 |
_aRU _b63413507 _c20131126 _gRCR |
|
| 942 | _cBK | ||
| 959 |
_a87/20130424 _d1 _e0 _fЧЗИЛ:1 |
||