Título: Models of computation and formal languages
Autor: Ralph Gregory Taylor
Sinopse: Models of Computation and Formal Languages presents a comprehensive and rigorous treatment of the theory of computability. The text takes a novel approach focusing on computational models and is the first book of its kind to feature companion software. Deus Ex Machina, developed by Nicolae Savoiu, comprises software simulations of the various computational models considered and incorporates numerous examples in a user-friendly format. Part I of the text introduces several universal models including Turing machines, Markov algorithms, and register machines. Complexity theory is integrated gradually, starting in Chapter 1. The vector machine model of parallel computation is covered thoroughly both in text and software. Part II develops the Chomsky hierarchy of formal languages and provides both a grammar-theoretic and an automata-theoretic characterization of each language family. Applications to programming languages round out an in-depth theoretical discussion, making this an ideal text for students approaching this subject for the first time. Ancillary sections of several chapters relate classical computability theory to the philosophy of mind, cognitive science, and theoretical linguistics. Ideal for Theory of Computability and Theory of Algorithms courses at the advanced undergraduate or beginning graduate level, Models of Computation and Formal Languages is one of the only texts that... - - Features accompanying software available on the World Wide Web at http: //home.manhattan.edu/ gregory.taylor/thcomp/ Adopts an integrated approach to complexity theory - Offers a solutions manual containing full solutions to several hundred exercises. Most of these solutions are available to students on the World Wide Web at http: //home.manhattan.edu/ gregory.taylor/thcomp - Features examples relating the theory of computation to the probable programming experience of an undergraduate computer science major
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Models of computation and formal languages”, de Ralph Gregory Taylor, publicado pela editora Oxford University Press, em 1998 e com 688 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: Oxford University Press
Páginas: 688
Ano: 1998
Edição:
Linguagem: pt_BR
ISBN: 9780195109832
ISBN13: 9780195109832
Sobre a editora
Os livros da editora Oxford University Press oferecem uma experiência de leitura que combina rigor acadêmico com acessibilidade, abrangendo desde estudos aprofundados em filosofia, direito e teologia até narrativas literárias clássicas e contemporâneas. O catálogo privilegia obras que exploram temas complexos como epistemologia, ética, história cultural e linguística, muitas vezes com um tom didático e analítico, mas sem abrir mão da clareza e do envolvimento do leitor. Há títulos que apresentam um ritmo mais denso e reflexivo, como os ensaios filosóficos e manuais especializados, enquanto outros trazem narrativas mais narrativas e literárias, incluindo traduções cuidadosas de clássicos e antologias poéticas. Essa diversidade sugere uma editora que atende tanto a leitores acadêmicos quanto a interessados em literatura e humanidades, com textos que estimulam a reflexão crítica e o aprofundamento temático.
![Oxford Practice Grammar Intermediate with Answers [With CDROM] – JOHN EASTWOOD](https://i0.wp.com/www.touchelivros.com.br/wp-content/uploads/2024/09/9780194579803.jpg?w=260&ssl=1)
