Estudantes universitários de cursos da Tecnologia da Informação do Centro Universitário FMU.
Esta apostila tem como objetivo fornecer a base matemática e teórica necessária para compreender como as linguagens — tanto naturais quanto de programação — são estruturadas, geradas e reconhecidas por máquinas. Ao estudar a Hierarquia de Chomsky, o aluno desenvolve a capacidade de abstrair problemas complexos e identificar o nível de computabilidade de cada desafio, estabelecendo os fundamentos para a construção de compiladores, analisadores léxicos e sistemas de processamento de texto.
Além do rigor teórico, a disciplina visa capacitar o estudante na aplicação prática de formalismos como Autômatos Finitos, Expressões Regulares e Gramáticas Livres de Contexto. Essa competência é essencial para o desenvolvimento de softwares eficientes, pois permite que o desenvolvedor escolha a ferramenta com a menor complexidade computacional necessária para uma tarefa, garantindo otimização de recursos e segurança na validação de dados.
Por fim, a disciplina explora os limites da computação através do estudo das Máquinas de Turing e da Teoria da Decidibilidade. O objetivo é provocar uma reflexão crítica sobre o que pode ou não ser resolvido por algoritmos, preparando o futuro profissional para lidar com problemas de alta complexidade lógica. Ao unir teoria e prática, a disciplina consolida o pensamento analítico indispensável para a criação de soluções tecnológicas inovadoras e robustas no campo da Ciência e Engenharia da Computação.
.
Robson Carmo, mestre pelo programa de mestrado profissional em Gestão e Tecnologia em Sistemas Produtivos do Centro Paula Souza, concluiu 3 MBAs (Inovação e Transformação Digital, Gestão de Empresarial, Engenharia de Software). Instrutor de certificações da SAFE, autor e coautor de vários livros e ebooks.