Académique Documents
Professionnel Documents
Culture Documents
os
motores
1
E D U A R D O
F R E I R E
N A K A M U R A
I n s / t u t o
d e
C o m p u t a o
U n i v e r s i d a d e
F e d e r a l
d o
A m a z o n a s
n a k a m u r a @ i c o m p . u f a m . e d u . b r
1Este
material utiliza contedo das aulas fornecidas pelo Prof. Vilar da Cmara Neto (disponvel em http://http://prof.vilarneto.com).
material utiliza contedo das aulas fornecidas pelo Prof. Marco Cristo (marco.cristo@gmail.com).
3Permisso de uso fornecida pelos autores.
4As figuras utilizadas neste material so de domnio pblico, disponveis na Internet sem informaes de direitos autorais.
2Este
Plano
de
Ensino
2
O
Q U E
O
C U R S O ?
C O M O
S E R
O
C U R S O ?
Iden6cao
3
Curso
u
Cincia da Computao
Disciplina
u
Cdigo
u
ICC 040
Semestre
u
2015 / 02
Carga
Horria
u
60h
Crditos
u
Pr-requisito
u
Turma
u
CB01
Horrio
4
Seg
Ter
Qua
Qui
Aulas
8-10
8-10
Atendimento
10-12
10-12
Sex
Sb
Ementa
5
Linguagens,
Gram/cas,
Autmatos,
Mquinas
de
Turing,
Hierarquia
de
Chomski,
Semn/ca
de
Linguagens
de
Programao.
Obje6vo
Geral
6
Fornecer
conhecimentos
para
compreender
e
aplicar
tpicos
de
teoria
da
computao.
Fornecer
uma
contextualizao
matem/ca
da
rea
da
computao,
fornecendo
uma
perspec/va
histrica
dos
fundamentos
matem/cos
da
rea.
Obje6vos
Especcos
7
Desenvolver
e
avaliar
Autmatos
Finitos
Determins6cos
e
no
computacional
computacional
Metodologia
8
Aulas
Exposi6vas
Resoluo
de
Exerccios
Listas
de
Exerccios
Provas
Avaliao
9
P1+ P2 + P3+ P4
MP =
4
2 MP + PF
MF =
3
Trocando
em
midos
10
E N T E N D A
O
Q U E
O
C U R S O
Estuda
problemas
que
podem
ser
resolvidos
por
um
computador,
mesmo
que
este
tenha
memria
e
velocidade
innitas
Complexidade de algoritmos
Linguagens
formais
12
*hjp://vidadeprogramador.com.br/wp-content/uploads/2011/03/6rinha25.png
Linguagens
formais
13
Ns usamos linguagem
natural
leia um valor
imprima um valor
se uma condio ento execute um comando
enquanto uma condio for verdadeira faa tal coisa
Linguagens
formais
14
sem ambiguidade
Linguagens
formais
15
leia!x
leia!y
comando!leia,"varivel"x
comando!leia,"varivel"y
comando!imprima,"expresso"z
Linguagens
formais
16
O comando faa requer uma expresso, mas foi encontrado o comando imprima
Outro
exemplo
17
#
%
%
%
%%
expresso $
%
%
%
%
%&
literal
expresso "+" expresso
expresso "-" expresso
possuem ambiguidade?
representam computadores
No se preocupam com a
concebvel?
u
u
Velocidade
innita
Memria
innita
Computabilidade
20
Computabilidade no se
Busca
Caixeiro Viajante
Correspondncia de Post
Problema
de
busca
22
Entradas: 45
12
35
44
02
17
45
66
Sada: posio 5
Dados
Uma
lista
de
cidades
u As
distncias
entre
elas
u
Problema
u
Quatro cidades
n! = 4! = 4 x 3 x 2 x 1 = 24 rotas possveis
B
A
B
C
D
C
D
B
D
B
C
D
C
D
B
C
B
B
A
D
A
D
B
D
B
A
D
A
D
B
A
B
D
C
A
C
D
C
D
A
D
A
C
D
C
D
A
C
A
B
C
A
C
A
B
A
B
C
A
C
A
B
C
B
Trinta
cidades
30
cidades
=
30!
=
2,65
x
1032
u Mquina
capaz
de
1
trilho
de
adies
/
segundo:
u
252.333.390.232.297 anos
duas metades m1 e m2
m1 e m2 so as palavras
Arranjos
usando
m1
e
m2
A
string
formada
pelas
peas
de
m1
idn6ca
formada
pelas
peas
de
m2
u Repe6es
so
permi6das
u
Entrada:
u
Domins:
ab
bba
bba
aa
bb
bba
ab
bba
bb
aa
bb
bba
Sada:
bbaabbbaa
bbaabbbaa
Teoria
da
Computao
u
Teoria
da
Complexidade
u
Exemplos
Busca
Computvel
com
Custo
Polinomial
u Caixeiro
viajante
Computvel
com
Custo
Fatorial
u Correspondncia
de
Post
No
Computvel
u
Bibliograa
28
Roteiro
Teoria
da
Computao
u Mquinas
de
Estado
Finito
u Autmatos
com
Pilha
u Mquinas
de
Turing
u Decidibilidade
u
Avisos
sobre
aulas,
avaliaes,
datas,
etc.
hjp://sites.google.com/site/zcufam/
Linguagens Formais e Autmatos