Portal do Ementário

Reconhecer a importância dos sistemas formais para a Computação. Utilizar formalismos denotacionais, geradores e reconhecedores em diversos contextos de linguagens formais. Enquadrar os elementos de linguagens formais na Hierarquia de Chomsky. Investigar e implementar máquinas e algoritmos que suportem o processamento de formalismos em situações práticas. Estudar elementos de linguagens formais que contribuam em nível léxico e sintático para a disciplina de Compiladores. 

Hierarquia de Chomsky. Linguagens regulares, livres de contexto, sensíveis ao contexto e enumeráveis recursivamente com seus respectivos teoremas e abstrações denotacionais, geradoras e reconhecedoras.

MENEZES, Paulo Fernando Blauth. Linguagens formais e autômatos. 5 ed. Porto Alegre: Sagra Luzzatto, 2008. HOPCROFT, John E.; ULLMAN, Jeffrey D.; MOTWANI, Rajeev. Introdução à teoria de autômatos, linguagens e computação. 2. ed. Rio de Janeiro: Elsevier, 2002. ROSA, João Luís Garcia. Linguagens formais e autômatos. Rio de Janeiro: LTC, 2010.

SUDKAMP, Thomas A. Languages and machines: an introduction to the theory of computer science. 2. ed. Massachusets: Addison-Wesley Publishing Company, Inc., 1997. GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação. 4. ed. Porto Alegre: Sagra Luzzatto, 2001. LEWIS, Harry R.; PAPADIMITRIOU, Christos H. Elementos de teoria da computação. 2. ed. Porto Alegre: Artmed, 2000.