A disciplina de Linguagens Formais e Autômatos é uma das áreas fundamentais da Ciência da Computação, nela estudaremos modelos abstratos de computação e linguagens formais, muito visto em bacharelados em Sistema de Informação e Ciência da Computação.
Esse conteúdo desempenha um papel essencial na compreensão das capacidades e limitações dos sistemas computacionais, fornecendo ferramentas e técnicas para análise e desenvolvimento de algoritmos, compiladores, linguagens de programação e sistemas de software em geral.
Ao longo deste curso, os estudantes explorarão conceitos como gramáticas formais, autômatos finitos, expressões regulares, linguagens regulares, linguagens livres de contexto, máquinas de Turing e teoria da computabilidade.
Primeiramente terá compreensão dos princípios de:
- Desenvolvimento de habilidades analíticas
- Resolução de problemas complexos de computação
Base teórica de para compreensão de:
- Fundamentos da computação
- Desenvolvimento de Compiladores (Uma das principais)
- Análise léxica e sintática
- Processamento de linguagem natural
Ir para: 1.2 Hierarquia de Chomsky