Linguagens Formais e Autmatos

P. Blauth Menezes
blauth@inf.ufrgs.br

Departamento de Informtica Terica Instituto de Informtica / UFRGS

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Linguagens Formais e Autmatos

P. Blauth Menezes 1 2 3 4 5 6 7 8 9 Introduo e Conceitos Bsicos Linguagens e Gramticas Linguagens Regulares Propriedades das Linguagens Regulares Autmato Finito com Sada Linguagens Livres do Contexto Propriedades e Reconhecimento das Linguagens Livres do Contexto Linguagens Recursivamente Enumerveis e Sensveis ao Contexto Hierarquia de Classes e Linguagens e Concluses

Linguagens Formais e Autmatos - P. Blauth Menezes

1 Introduo e Conceitos Bsicos

1.1 Introduo 1.1.1 Sintaxe e Semntica 1.1.2 Abordagem 1.2 Conjuntos, Relaes e Funes 1.3 Noes de Lgica 1.4 Tcnicas de Demonstrao 1.5 Induo

Linguagens Formais e Autmatos - P. Blauth Menezes

1 Introduo e Conceitos Bsicos

Linguagens Formais e Autmatos - P. Blauth Menezes

1.1 Introduo

Teoria das Linguagens Formais

desenvolvida na dcada de 1950 objetivo inicial desenvolver teorias relacionadas com as linguagens naturais entretanto, logo foi verificado que era importante estudo de linguagens artificiais em especial, para as linguagens originrias da Computao e Informtica desde ento, desenvolveu-se significativamente

Linguagens Formais e Autmatos - P. Blauth Menezes

Exemplos de aplicaes
anlise lxica e anlise sinttica de linguagens de programao modelagem de circuitos lgicos ou redes lgicas modelagem de sistemas biolgicos

Mais recentemente
animaes hipertextos e hipermdias linguagens no-lineares planares espaciais n-dimensionais

Linguagens Formais e Autmatos - P. Blauth Menezes

1 Introduo e Conceitos Bsicos

1.1 Introduo 1.1.1 Sintaxe e Semntica 1.1.2 Abordagem 1.2 Conjuntos, Relaes e Funes 1.3 Noes de Lgica 1.4 Tcnicas de Demonstrao 1.5 Induo

Linguagens Formais e Autmatos - P. Blauth Menezes

1.1.1

Sintaxe e Semntica

Linguagens Formais
problemas sintticos das linguagens

Importante apresentar os conceitos de

sintaxe e semntica

Historicamente, o problema sinttico

reconhecido antes do problema semntico primeiro a receber um tratamento adequado tratamento mais simples que os semnticos

Linguagens Formais e Autmatos - P. Blauth Menezes

Conseqncia
grande nfase sintaxe levando idia de que questes das linguagens de programao resumiam-se s questes da sintaxe

Teoria da sintaxe possui construes matemticas

bem definidas e universalmente reconhecidas exemplo: Gramticas de Chomsky

Linguagens Formais e Autmatos - P. Blauth Menezes

Linguagem de programao (ou qq modelo matemtico) pode ser vista como uma entidade
livre, sem qualquer significado associado juntamente com uma interpretao do seu significado

Sintaxe
trata das propriedades livres da linguagem exemplo: verificao gramatical de programas

Semntica
objetiva dar uma interpretao para a linguagem exemplo: significado ou valor para um determinado programa

Linguagens Formais e Autmatos - P. Blauth Menezes

10

Conseqentemente, a sintaxe:
manipula smbolos sem considerar os seus correspondentes significados

Mas, para resolver qualquer problema real

necessrio dar uma interpretao semntica aos smbolos exemplo: estes smbolos representam os inteiros

Sintaticamente "errado"
no existe tal noo de programa simplesmente no um programa da linguagem

Sintaticamente vlido ("correto")

pode no ser o programa que o programador esperava escrever

Linguagens Formais e Autmatos - P. Blauth Menezes

11

Programa "correto" ou "errado"

se o mesmo modela adequadamente o comportamento desejado

Limites entre a sintaxe e a semntica

nem sempre so claros exemplo: ocorrncia de um nome em um programa entretanto, em linguagens artificiais distino entre sintaxe e semntica (em geral) bvia

Anlise lxica
tipo especial de anlise sinttica centrada nas componentes bsicas da linguagem portanto, tambm nfase das Linguagens Formais

Linguagens Formais e Autmatos - P. Blauth Menezes

12

1 Introduo e Conceitos Bsicos

1.1 Introduo 1.1.1 Sintaxe e Semntica 1.1.2 Abordagem 1.2 Conjuntos, Relaes e Funes 1.3 Noes de Lgica 1.4 Tcnicas de Demonstrao 1.5 Induo

Linguagens Formais e Autmatos - P. Blauth Menezes

13

1.1.2

Abordagem

Centrada no tratamento sinttico

linguagens lineares abstratas com fcil associao s linguagens da Computao e Informtica

Clasificao dos formalismos

Operacional Axiomtico Denotacional

Linguagens Formais e Autmatos - P. Blauth Menezes

14

Operacional

Autmato ou uma mquina abstrata

estados instrues primitivas especificao de como cada instruo modifica cada estado

Mquina abstrata
suficientemente simples para no permitir dvidas sobre a execuo de seu cdigo

Tambm dito um formalismo Reconhecedor

anlise de uma entrada para verificar se "reconhecida"

Linguagens Formais e Autmatos - P. Blauth Menezes

15

Principais mquinas
Autmato Finito Autmato com Pilha Mquina de Turing

Linguagens Formais e Autmatos - P. Blauth Menezes

16

Axiomtico

Associam-se regras
s componentes da linguagem

Regras permitem afirmar

o que ser verdadeiro aps a ocorrncia de cada clusula considerando-se o que era verdadeiro antes da ocorrncia

Tambm dito um formalismo Gerador

verifica se um elemento da linguagem "gerado"

Linguagens Formais e Autmatos - P. Blauth Menezes

17

Abordagem sobre Gramticas

Regulares Livres do Contexto Sensveis ao Contexto Irrestritas

Linguagens Formais e Autmatos - P. Blauth Menezes

18

Denotacional

Ou Funcional Define-se um domnio

caracteriza o conjunto de palavras admissveis na linguagem funes, em geral, composicionais (horizontalmente) valor denotado por uma construo especificado em termos dos valores denotados por suas subcomponentes

Abordagem restrita s Expresses Regulares Tambm dito um formalismo Gerador

simples inferir ("gerar") as palavras da linguagem

Linguagens Formais e Autmatos - P. Blauth Menezes

19

1 Introduo e Conceitos Bsicos

1.1 Introduo 1.1.1 Sintaxe e Semntica 1.1.2 Abordagem 1.2 Conjuntos, Relaes e Funes 1.3 Noes de Lgica 1.4 Tcnicas de Demonstrao 1.5 Induo

Linguagens Formais e Autmatos - P. Blauth Menezes

20

Linguagens Formais e Autmatos

P. Blauth Menezes 1 2 3 4 5 6 7 8 9 Introduo e Conceitos Bsicos Linguagens e Gramticas Linguagens Regulares Propriedades das Linguagens Regulares Autmato Finito com Sada Linguagens Livres do Contexto Propriedades e Reconhecimento das Linguagens Livres do Contexto Linguagens Recursivamente Enumerveis e Sensveis ao Contexto Hierarquia de Classes e Linguagens e Concluses

Linguagens Formais e Autmatos - P. Blauth Menezes

21