Os fundamentos da computação são apresentados nesta obra enfatizando-se o papel desempenhado por máquinas e linguagens. Após a revisão de alguns conceitos, o suficiente para munir o leitor da fundamentação matemática necessária, são estudados três ti pos de máquinas, juntamente com as classes de linguagens que estas são capazes de processar: os autômatos finitos, os autômatos de pilha e as máquinas de Turing. Em seguida, após apresentar estas últimas como possuidoras de poder computacional sufici ente para solucionar qualquer problema que tenha solução algorítmica, são mostrados exemplos de problemas para os quais não existem algorítmos, começando pelo célebre “problema da parada”. O livro é finalizado com um capítulo em que são apresentadas as soluções de alguns dos cerca de 380 exercícios formulados ao longo do texto.

Autor	Vieira, Newton
Editora	CENGAGE LEARNIG
ISBN	8522105081
EAN	9788522105083
Categoria	Computação e Informática / Geral
Assunto	Ciência da Computação
Páginas	334
Número da Edição	1
Ano da Edição	2006