| Título | Linguagens Formais e Autômatos |
|---|---|
| Autores | MENEZES, P. B. |
| Ano de Publicação | 2010 |
| Edição | 6.a edição. |
| ISBN | 9788577807659 |
A Teoria das Linguagens Formais foi originalmente desenvolvida na década de 1950 com o objetivo de desenvolver teorias relacionadas com as linguagens naturais. Entretanto, logo foi verificado que esta teoria era importante para o estudo das linguagens artificiais e, em especial, para as linguagens originárias na Ciência da Computação. Desde então, o estudo das Linguagens Formais desenvolveu-se significativamente e com diversos enfoques, com destaque para aplicações em análise léxica e sintática de linguagens de programação, modelos de sistemas biológicos, desenho de hardware e relacionamentos com linguagens naturais. Recentemente, inclui-se a ênfase no tratamento de linguagens não-lineares, como planares, espaciais e n-dimensionais.
Linguagens Formais e Autômatos visa apresentar os conceitos básicos da Teoria das Linguagens Formais. É baseado em experiências letivas no Curso de Bacharelado em Ciência da Computação da UFRGS. É delineado, principalmente, como um primeiro curso de Linguagens Formais, sendo auto-contido e podendo ser adotado como bibliografia básica. Possui um texto simples, exemplos detalhados e exercícios em níveis crescentes de raciocínio.
| Título | Linguagens Formais: Teorias e Conceitos |
|---|---|
| Autores | RAMOS, M.; NETO, J. J; VEGA, I. |
| Ano de Publicação | 2023 |
| Edição | 1.a edição. |
| ISBN | 9786555067163 |
Concebido como referência para cursos superiores da área de computação, este livro explora tópicos sobre as linguagens definidas pela Hierarquia de Chomsky. Contudo, seu alcance foi expressivamente ampliado pela inclusão de introduções à matemática discreta, aos conceitos básicos de linguagens, à classe das linguagens recursivas, à análise sintática descendente, à decidibilidade e à complexidade.Fruto de diversos anos da experiência docente e dedicação dos autores, em diversas instituições de ensino, à disciplina Linguagens Formais e Autômatos, esta obra, repleta de exemplos e exercícios, mitiga a aridez intrínseca dos muitos assuntos estudados, tornando-os mais acessíveis a um público-alvo amplo e diversificado.
| Título | Linguagens Formais: Exercícios e Soluçõess |
|---|---|
| Autores | RAMOS, M. |
| Ano de Publicação | 2021 |
| Edição | 1.a edição. |
| ISBN | 9786586057591 |
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.