UNIVERSITÁRIO CIÊNCIAS EXATAS COMPUTAÇÃO Kenneth C. Louden
Compiladores Princípios e Práticas Este livro conjuga o estudo detalhado das teorias modernas de projeto de compiladores com a descrição completa – com código-fonte – de um compilador escrito em linguagem C, integrando teoria e prática. Um conjunto de exercícios ao final de cada capítulo enriquece a obra, despertando a atenção dos alunos para problemas de programação específicos. ● Sumário Reduzido: [1] Introdução. [2] Varredura. [3] Gramáticas Livres de Contexto e Análise Sintática. [4] Análise Sintática Descendente. [5] Análise Sintática Ascendente. [6] Análise Semântica. [7] Ambientes de Execução. [8] Geração de Código. Apêndices. Bibliografia. Índice.
▲ 584 páginas
| 2004 ISBN 10: 85-221-0422-0 ISBN 13: 978-85-221-0422-2
e
Disponível também em e-book
Michael Sipser
Introdução à Teoria da Computação
Tradução da 2a Edição Norte-Americana Este livro cobre os conceitos e teoremas-chave da teoria da computação. Além dos tópicos usuais para esse tipo de texto, o livro traz uma seção sólida sobre teoria da complexidade – incluindo um capítulo inteiro sobre complexidade de espaço. O capítulo final introduz tópicos mais avançados, tais como classes de complexidade associadas a algoritmos probabilísticos. ● Sumário Reduzido: Introdução. Parte I – Autômatos e Linguagens. [1] Linguagens Regulares. [2] Linguagens Livres do Contexto. Parte II – Teoria da Computabilidade. [3] A Tese de Church-Turing. [4] Decidibilidade. [5] Redutibilidade. [6] Tópicos Avançados em Computabilidade. Parte III – Teoria da Complexidade. [7] Complexidade de Tempo. [8] Complexidade de Espaço. [9] Intratabilidade. [10] Tópicos Avançados em Teoria da Complexidade. Bibliografia Selecionada. Índice Remissivo.
▲ 488 páginas
| 2007 ISBN 10: 85-221-0499-9 ISBN 13: 978-85-221-0499-4 ISBN e-book: 978-85-221-0886-2
275 catalogo_cengage_2014.indb 275
02/06/14 09:41