Estudantes universitários de cursos da Tecnologia da Informação do Centro Universitário FMU.
Esta apostila foi cuidadosamente estruturada para guiar o estudante da FMU através da fascinante jornada de transformação do código-fonte em instruções executáveis, fundamentando-se na tríade teórica de Aho et al. (2008), Menezes (2011) e Diverio (2011). Iniciamos explorando o "Front-End" do compilador, onde a Análise Léxica e a Análise Sintática convertem sequências de caracteres em estruturas lógicas, utilizando Gramáticas Livres de Contexto e Árvores de Derivação para validar a integridade do código. Esta etapa é o coração da disciplina, pois permite ao desenvolvedor compreender como a precedência matemática e a estrutura das linguagens são rigorosamente definidas por formalismos matemáticos.
Avançando para a camada intermediária e final, abordamos a Análise Semântica e a Geração de Código, fases em que o significado do programa é verificado e traduzido para linguagens de baixo nível. Estudaremos como a Tabela de Símbolos e as Verificações de Tipos garantem que a lógica do programador seja coerente, culminando na produção de código otimizado que o hardware possa processar com eficiência. O domínio dessas etapas capacita o aluno não apenas a usar linguagens de programação, mas a projetar suas próprias ferramentas de tradução e automação, elevando seu patamar técnico no mercado de desenvolvimento.
Por fim, a apostila mergulha nos limites da computação, explorando a Hierarquia de Chomsky e a Máquina de Turing para entender a computabilidade e a decidibilidade. Ao estudar problemas que não possuem solução algorítmica, o futuro profissional desenvolve uma visão crítica e analítica sobre a complexidade dos sistemas. Esta introdução serve como o primeiro passo para consolidar o pensamento abstrato indispensável para criar soluções tecnológicas robustas, unindo o rigor da teoria acadêmica à prática moderna de engenharia de software com Python e outras tecnologias de ponta.
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.