Linguagens Formais e Autômatos

No livro Linguagens formais e autômatos, o leitor encontrará uma rigorosa e vasta abordagem dessa área fundamental de estudos para qualquer profissional da computação. Subjacentes aos compiladores e interpretadores de programação estão exatamente os autômatos e a noção de linguagens formais, determinantes para identificar a correção e validade de estruturas geradas por programadores em cada linguagem específica. Para aqueles que desejam aprender mais sobre o assunto, este livro examina tópicos como autômatos finitos determinísticos e não determinísticos, linguagens, expressões e gramáticas regulares, linguagens recursivas, máquina de Turing, entre muitos outros.