Aula1.0.pptx

67 %
33 %
Information about Aula1.0.pptx

Published on February 26, 2014

Author: MaellsonMarques

Source: slideshare.net

Gramáticas, Autômatos e Compiladores Aula 1 Paulo Eduardo e Silva Barbosa Adaptado de:

Roteiro } Formato da disciplina } Introdução } Linguagens e Gramáticas ◦ Alfabeto ◦ Palavra ◦ Linguagem ◦ Gramática } Exemplos

Formato da disciplina } Paulo Eduardo e Silva Barbosa ◦ pesbarbosa@gmail.com } Página da disciplina ◦ https://sites.google.com/site/pesbarbosa/ } } Bibliografia básica AHO, Alfred V.; LAM, Mônica S.; SETHI, Ravi; ULLMAN, Jeffrey D. Compiladores: Princípios, Técnicas e Ferramentas. Pearson Addison Wesley, 2007.

Bibliografia SIPSER,Michael. Introdução à Teoria da Computação. 2ª ed. São Paulo: Thomson Pioneira, 2007. MENEZES, Paulo Blauth. Linguagens Formais e Autômatos. Ed. Bookman Companhia, 1a edicao, 2008. PRICE, Ana Maria de Alencar; TOSCANI, Simão Sirineo Implementação de Linguagens de Programação: Compiladores. 3a ed. Bookman, 2008 LOUDEN, Keneth C. Compiladores: Princípios e Práticas. São Paulo: Thomson Learning, 2004.

Formato da disciplina } Avaliações ◦ 1º Estágio – Prova (5) – Lista de exercícios (2) – Projeto de Compiladores (analisador léxico e sintático) (3) ◦ 2º Estágio – Prova – Projeto de Compiladores (analisador léxico e sintático) ◦ 3º Estágio – Integrador – Projeto de Compiladores (analisador léxico e sintático)

Introdução } Teoria das Linguagens Formais ◦ 1950 ◦ Desenvolvida para Linguagens Naturais ◦ Aplicadas para Linguagens da Computação } Sintaxe ◦ Verificação gramatical de programas } Semântica ◦ Interpretação para a linguagem (significado ou valor para um determinado programa)

Linguagens e Gramáticas } Como definir uma linguagem em Computação? } Alfabeto (Σ) ◦ Conjunto finito de símbolos ou caracteres. ◦ Exemplos: – {a, b, c} –ø

Palavra } Palavra, cadeia de caracteres ou sentenças sobre um alfabeto. É uma sequência finita de símbolos (do alfabeto) justapostos. } Exemplos: ◦ Considere o alfabeto {a, b, c} ◦ Palavras: – ab – cab – aabcabb

Palavra } Σ* ◦ Denota o conjunto de todas as palavras possíveis sobre Σ } Σ+ ◦ Denota Σ* - {ε} ◦ ε – Palavra vazia, sem símbolos

Linguagem Formal } Uma linguagem formal L sobre um alfabeto Σ é um conjunto de palavras sobre Σ* : ◦ L ⊆ Σ* } Exemplo: ◦ Σ = {a, b} ◦ Linguagem: conjunto de palíndromos sobre Σ ◦ Palavras desta linguagem (infinito): – a, bb, aba, abba, bbbb, ...

Linguagem de Programação É formalmente definida pelo conjunto de todos os programas (palavras) da linguagem.

Gramática } Conjunto finito de regras nas quais, quando aplicadas sucessivamente, geram palavras; } O conjunto de todas as palavras geradas por uma gramática define a linguagem.

Gramática } Gramática de Chomsky, Gramática Irrestrita ou simplesmente Gramática ◦ G = (V, T, P, S) ◦ V = conjunto finito de símbolos variáveis ou não-terminais; ◦ T = conjunto finito de símbolos terminais disjunto de V; ◦ Regra de Produção = P: (V ∪ T)+ (V ∪ T)* ◦ S = elemento de V chamado de símbolo inicial

Exemplos de Gramática } Gramática Regular (Linguagens Regulares) } G = ({S, A, B}, {0, 1}, P, S) } P = { S → 0B, S → 1A, A → 0, A → 0S, B → 1, B → 1S }

Exemplos de Gramática } G = ({S, R}, {0, 1}, P, S) } P = { S → 0S, S → 1R, R → 1R, R→ε }

Add a comment

Related presentations

Related pages

Construção de Compiladores 2 - pesbarbosa

Aviso: A nota do projeto do gerador de código está condicionada à apresentação de cada membro do grupo. Lembrete: Esta semana (12/05 e 13/05) é o ...
Read more

Aulas :: Elder Zuin

24/02/2013 20:13. Certificação e Auditoria da Qualidade_aula 0.pptx (252302) Certificação e Auditoria da Qualidade_aula 1.pptx (191090) Certificação ...
Read more

Engenharia de Produtos :: Elder Zuin

Engenharia de Produtos_aula 0.pptx (246841) Engenharia de Produtos_aula 1.pptx (510956) Engenharia de Produtos_aula 2.pptx (139286) Engenharia de Produtos ...
Read more

1 ì Istituzioni di Economia - UniBG

Prof. Elena Cefis Samuelson, Nordhaus, Bollino, Economia 20e Testo di riferimento ì MODULO DI ISTITUZIONI DI ECONOMIA ì Prof.
Read more