LINGUAGENS FORMAIS

Fazer exercícios é a maneira mais eficaz de aprender linguagens formais e autômatos. É importante estudar exercícios resolvidos para melhorar o entendimento acerca das estratégias mais usadas e reduzir o tempo de resolução de problemas novos. Ainda assim, é raro que a solução de problemas novos não faça uso, pelo menos em parte, de estratégias consagradas utilizadas em problemas conhecidos.
Em vez de teoria e conceitos abstratos, este livro é composto de 601 exercícios resolvidos sobre as temáticas dos capítulos. A ideia é que, a partir do enunciado, da solução e também das explicações que fundamentam as estratégias apresentadas, o leitor entenda como certas soluções são obtidas e se capacite mais rapidamente na resolução de novos problemas.
Esta obra é uma grande coletânea, devidamente revisada e estendida, do material que foi sendo acumulado ao longo de mais de uma década de dedicação ao ensino da disciplina Linguagens Formais e Autômatos na Universidade Federal do Vale do São Francisco. Em cada capítulo, uma pequena introdução traz um resumo das principais definições e resultados relevantes para o estudo do assunto, o que não dispensa o uso de uma boa referência teórica complementar sobre essa importante matéria.