TEORIA DA COMPUTAO

AULA 0 - APRESENTAO

Cristiane Yanase Hirabara de Castro

O QUE A TEORIA DA COMPUTAO ??

|

o que pode e o que no pode ser computvel,

explicando porque, de que forma e com que
complexidade.

Classes de problemas
Problemas Indecidveis
y Problemas Intratveis
y Problemas Tratveis
y

PROBLEMAS ??
1.
2.
3.
4.
5.
6.
7.
8.
9.

Existe programa para solucionar um determinado problema ?

Qual o poder de expresso de um determinado modelo de
especificao ?
Dado um programa qualquer, ele sempre tem parada garantida ?
Dois programas P1 e P2 so equivalentes entre si ?
Uma determinada soluo a melhor soluo para um dado
problema ?
Qual o significado de um determinado problema ?
Dado um programa qualquer, este programa est correto ?

TEORIA DAS LINGUAGENS FORMAIS E

AUTMATOS
y

modelos formais (juntamente com suas propriedades )

que fundamentam a cincia da computao.

gramticas e mquinas abstratas .

Teoria da computao segundo a tica da Teoria das

Linguagens Formais e Autmatos.

TEORIA DA COMPUTAO ???

|

Problema: definir um conjunto de cadeias de smbolos;

Exemplo: conjunto M dos nmeros binrios que tm 2

dgitos M={00,01,10,11}

Porm, se fosse o conjunto N de todas as combinaes

de dgitos binrios, poderamos tentar o seguinte:
y

N={0,1,00,01,10,11,000,...}

Percebe-se que este conjunto infinito;

TEORIA DAS LINGUAGENS FORMAIS E

AUTMATOS
y

modelos formais (juntamente com suas propriedades )

que fundamentam a cincia da computao.

gramticas e mquinas abstratas .

Teoria da computao segundo a tica da Teoria das

Linguagens Formais e Autmatos.

PORQUE ESTUDAR TEORIA DA

COMPUTAO ??
|

Procedimento e Algoritmos

Representao clara:
y

humanos x computador

Representao Formal X Computador;

Um objetivo de LFA estudar uma maneira precisa e
formal de descrever seqncias de smbolos
pertencentes um determinado conjunto;

TEORIA DA COMPUTAO ???

|

Em especial conjuntos que no podem ser trivialmente

enumerados;

Os estudos iniciais foram em torno de Linguagens

Naturais (LN);

Insucesso: LN extensa, complexa, no tem sintaxe

rgida e semntica bem determinada (rica em
ambigidade);

TEORIA DA COMPUTAO ???

|

Assim, ela no permite o tratamento computacional;

Resultados significativos na descrio de linguagens

computacionais;

|
|

Linguagens Computacionais so muito mais simples;

TEORIA DA COMPUTAO ???

|

As maneiras sistemticas de descrever uma linguagem de

programao so:
y

um mtodo que permite construir programas sintaticamente

corretos - gerao (Gramtica);

um mtodo que permite verificar se um programa escrito est

sintaticamente correto - reconhecimento (Autmatos);

TEORIA DA COMPUTAO ???

|

Pesquisas j demonstraram o uso destas tcnicas em:

y

anlise de linguagens de programao

lxica;
| sinttica;
|

modelos de sistemas biolgicos;

desenho de hardware;

TEORIA DA COMPUTAO ???

|

Pesquisas j demonstraram o uso destas tcnicas em:

y

anlise de linguagens de programao

lxica;
| sinttica;
|

modelos de sistemas biolgicos;

desenho de hardware;

relacionamentos com linguagens naturais (sem muito

sucesso);

CONCLUSO
|

ENADE

Tecnologias Bancrias

Pesquisas Operacionais

EMENTA
|

Estudo das Linguagens Formais e Autmatos, atravs do

estudos dos formalismos pertencentes a cada uma das
linguagens formais. Esses formalismos incluem o estudo
de gramticas e mquinas abstratas.

CONTEDO PROGRAMTICO
|

Introduo Linguagens Formais e Autmatos

Linguagens Regulares
y Gramtica Regular
y Expresso Regular
y Autmatos Finitos

Linguagens Livre de Contexto

y Gramtica Livre de Contexto
y Simplificao de GLCs
y Ambiguidade em GLCs
y Autmatos com Pilha

Linguagens Sensveis ao Contexto

y Mquinas de Turing

Linguagens Enumerveis Recursivamente

y Mquinas de Turing

CRONOGRAMA
|

Aula 1 Conceitos Bsicos + Lista 1

Aula 2 Autmatos Finitos

Aula 3 Expresses Regulares + Lista 3

Aula 4 Gramticas Regulares + Lista 4

Aula 5 Dvidas Listas 1,2,3 e 4

Aula 6 Avaliao 1

Aula 7 rvores de Derivao + ambiguidade

Aula 8 Simplificao + Lista 5

Aula 9 Formas Cannicas + Lista 5

Aula 10 Dvidas - Lista 5

Aula 11 Avaliao 2

Aula 12 Autmatos com Pilha

Aula 13 Mquinas de Turing

Aula 14 Lista 6

Aula 15 Dvidas - Lista 6

Aula 16 Avaliao 3

CRITRIO DE AVALIAO
3 Avaliaes Individuais,
| Sem consulta
|

Pesos:
Avaliao 1 Peso 3,5
y Avaliao 2 Peso 3,5
y Avaliao 3 Peso 3
y

BIBLIOGRAFIA LIVRO TEXTO

|

MENEZES, Paulo Blauth. Linguagens Formais e

Autmatos. Porto Alegre: Editora Sagra-Luzzatto, 1998;