Teoria da Computação

Teoria da Computação - clara, concisa e orientada à prática. A teoria da computação trata das questões fundamentais sobre computabilidade e da estrutura das linguagens formais. Investiga quais problemas podem ser resolvidos por algoritmos, quais modelos são necessários para isso e quais são os limites da computação. Este livro apresenta, passo a passo, os fundamentos das linguagens formais, da computabilidade e da teoria dos autômatos. Você conhecerá os principais modelos - desde autômatos finitos, passando por autômatos de pilha e gramáticas livres de contexto, até a máquina de Turing. Além das construções formais, o texto explica as técnicas de prova usadas para demonstrar propriedades de linguagens e ajuda a reconhecer os limites do que é calculável. Conceitos complexos como o Lema do Bombeamento, o teorema de Myhill–Nerode, a diagonalização e o teorema de Rice são apresentados de maneira clara e ilustrativa. Numerosos gráficos, exemplos e exercícios com soluções modelo exemplificam a teoria e consolidam o aprendizado. Os capítulos têm estrutura modular e foram pensados didaticamente, permitindo que você escolha tópicos específicos ou aprenda de forma progressiva. As provas são apresentadas por extenso, com ênfase na intuição e na importância prática dos resultados. Assim, você obtém uma introdução sólida e de fácil leitura a um dos ramos centrais da computação - ideal para estudantes, professores e todos que desejam não apenas entender, mas também aplicar a teoria da com