Introdução instrumental às Linguagens Formais

Apresentação em tema: "Introdução instrumental às Linguagens Formais"— Transcrição da apresentação:

1 Introdução instrumental às Linguagens Formais
Mecatrônica, 2019

2 O que é “computar” ? Existe programa para solucionar o problema?
Dado um programa, ele sempre termina? Dois programas P1 e P2 são equivalentes? Uma determinada solução é a melhor para o problema? (complexidade) Qual o significado de um determinado programa? (semântica) Como ter certeza de que um determinado programa está correto? (construção) Problemas 1 a 3: Teoria das Linguagens Formais e Autômatos

3 O que é “computar” ? Principais marcos conceituais:
Máquina de Turing (1936) Gramáticas de Chomsky (1959) Algoritmos de Markov (1951) Lambda Calculus (Church, 1941)

4 Linguagens formais Definições básicas Alfabeto: conjunto de símbolos.
Sentença: uma sentença sobre um alfabeto é uma cadeia finita de símbolos do alfabeto. Linguagem:um subconjunto de sentenças sobre um alfabeto Gramática: representação finita de uma linguagem

5 Tipos de linguagens Hierarquia de Chomsky

6 Gramática

7 Gramática Exemplo

8 ANTLR Gerador automático de reconhecedores sintáticos
“callbacks” para a parte semântica Aplicação ao PI7: reconhecedor de código G Atividades: Integrar o reconhecedor ao código do PI7 Links relevantes Especial atenção ao item 18 (criação de Listener)

9 Bibliografia João José Neto. “Linguagens Formais: Teoria, Modelagem e Implementação” Paulo Blauth Menezes. “Linguagens formais e autômatos” Apostila do prof. Olinto Furtado