|
|
|
|
| LEADER |
01080nam a2200289a 44500 |
| 001 |
UBP00487 |
| 003 |
AR-CdUBP |
| 005 |
20220310150859.0 |
| 008 |
151212s1987#######|||||||||||||||||eng|d |
| 020 |
|
|
|a 0-06-04208-1
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a eng
|
| 100 |
|
|
|a Wood, Derick
|
| 245 |
1 |
0 |
|a Theory of computation /
|c Derick Wood
|
| 260 |
|
|
|a New York :
|b Harper & Row,
|c 1987
|
| 300 |
|
|
|a xviii, 558 p. ;
|c 25 cm.
|
| 490 |
0 |
|
|a Computer Science and Technology series
|
| 504 |
|
|
|a Bibliografía: p. 531-546
|
| 505 |
0 |
|
|a Introduction. Preliminaries. 1. Languages and computation. MODELS. 2. Finite automata. 3. Regular expressions. 4. Context-free grammars. 5. Pushown automata. 6. Turing machines. 7. Functions, relations, and translations. Properties. 8. Family relationships. 9. Closure properties. 10. Decision problems. ONWARD. 11. Further topics.
|
| 650 |
|
4 |
|a PROCESAMIENTO ELECTRONICO DE DATOS
|
| 653 |
|
|
|a INFORMATICA
|
| 930 |
|
|
|a INFORMATICA
|
| 931 |
|
|
|a 00487
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a SMM
|
| 984 |
|
|
|a 004
|b W85
|
| 999 |
|
|
|c 16103
|d 16103
|