Teoria da Computação e Design de Compiladores para Exames de Ciência da Computção

Navegar pelos fundamentos teóricos da ciência da computação e pela mecânica da construção de compiladores pode parecer avassalador sem uma abordagem estruturada. Este curso baseado em texto divide esses conceitos complexos de matemática e engenharia em lições claras e digeríveis projetadas para a preparação de exames e sucesso acadêmico. Você fará a transição da compreensão de modelos de máquinas abstratas para analisar como as linguagens de programação modernas são analisadas e traduzidas. O que você vai aprender: Entenda a hierarquia de Chomsky, linguagens regulares e autômatos finitos; Projete gramáticas livres de contexto e autênticos para reconhecimento de linguagem; Analise máquinas de Turing e os limites de decisão e computabilidade; Domine as fases de um compilador da análise lexical à geração de código; Aplique técnicas de análise incluindo algoritmos de análise de cima para baixo e de baixo para cima; Aprenda técnicas modernas de otimização de compiladores e representações de código intermediário. O curso começa com definições fundamentais de alfabetos, strings e linguagens formais antes de guiá-lo passo a passo através da teoria dos autômatos, computabilidade e as fases práticas do design do compilador. Este curso é projetado para estudantes de graduação em ciência da computação e candidatos que se preparam para exames competitivos de nível de pós-graduação, não exigindo nenhuma experiência prévia em teoria da computabilidade. Comece a ler hoje para dominar os princípios básicos da ciência da computação teórica.