DISCIPLINA: LINGUAGENS FORMAIS
CÓDIGO: 02.03.13.1.27
EMENTA
Conceitos básicos de linguagens (símbolo,alfabeto, cadeias e linguagens); Modelos de análise e reconhecedores de linguagens; Autômato Finito Determinístico e Não-Determinístico; Modelos de síntese de linguagens (gramáticas) e Hierarquia de Chomsky; Classes de linguagens (regulares, livres de contexto, sensíveis ao contexto, recursivas e recursivamente enumeráveis); Autômatos a Pilha; Máquinas de Turing.