Models of Computation and Formal Languages - Rilegato

Taylor

Rilegato

ISBN 10: 019510983X ISBN 13: 9780195109832

Casa editrice: Oxford University Press Inc, 1997

Riassunto

This unique book presents a comprehensive and rigorous treatment of the theory of computability which is introductory yet self-contained. It takes a novel approach by looking at the subject using computation models rather than a limitation orientation. Accompanying software simulations (on the World Wide Web) of almost all computational models are available for use in conjunction with the text, and numerous examples are provided on the Web in a user-friendly format. Its applications to computer science itself include interesting links to programming language theory, compiler design theory, and algorithm design. The software, numerous examples, and solutions make this book ideal for self-study by computer scientists and mathematicians alike.

Su questo libro

Informazioni sull'autore

R. Gregory Taylor holds degrees from the University of Michigan, New York University, and Columbia University. He is currently chair of the Department of Computer Science at Jersey City State College.

Dettagli dell'edizione

• Editore: Oxford University Press Inc
• Data di pubblicazione: 1997
• Lingua: Inglese
• ISBN 10: 019510983X
• ISBN 13: 9780195109832
• Rilegatura: Copertina rigida
• Numero di pagine: 686
• Contatto del produttore: non disponibile
• Persona responsabile: Ufficio Anagrafiche Messaggerie; ufficio.anagrafiche@meli.it; ; Via Verdi, 8; Assago Milano; 20090; Italia