UNIVERSIDADE FEDERAL RURAL DO SEMI-RIDO

IDENTIFICAO
CURSOS DEPARTAMENTO
CINCIA DA COMPUTAO CINCIAS EXATAS E NATURAIS
PROGRAMA GERAL DA DISCIPLINA
CDIGO DISCIPLINA
POSIO NA INTEGRALIZAO
EXA0157 LINGUAGENS FORMAIS E
AUTMATOS
5

PERODO LETIVO
PROFESSORA
MARA FRANKLIN BONATES
N
o
DE
CRDITOS
CARGA HORRIA
TOTAL TERICA PRTICA TERICA-PRTICA TOTAL
02 02 0 04
04 60
PR-REUISITO
MATEMTICA DISCRETA
O!"ETIVOS
Estudar classes de linguagens e seus respectivos formalismos reconhecedores, os autmatos, elementos
fundamentais na construo de qualquer compilador ou interpretador, por exemplo. Estudar linguagens em
ordem crescente de complexidade e suas aplicaes. Entender os modelos fundamentais de computao e
suas propriedades.
EMENTA
Linguagens Regulares. Autmatos initos. Linguagens Livres de !ontexto. Autmatos com "ilha. #$quinas de
%uring. & "ro'lema da "arada da #$quina de %uring. (ierarquia das !lasses de Linguagem.
CONTE#DO PROGRAMTICO
N
o
DA
UNIDADE
UNIDADE
N
o
$% HORAS
T P T-P
I
Introduo
undamentos de %eoria dos Autmatos
"rovas formais
)escrio informal de autmatos finitos
Autmatos Finitos
Autmatos initos )etermin*sticos +A),
Autmatos initos -o.)etermin*sticos +A-,
Autmatos initos -o.)etermin*sticos com
%ransies /a0ias +.A-,
Expresses Regulares
!onverses entre Autmatos e Expresses
Regulares
&0 &0 20
II
Linguagens Regulares
"ropriedades de Linguagens Regulares
Lema do 1om'eamento
Equival2ncia e #inimi0ao de Autmatos
Gramticas Livres de Contexto
)efinio de 3ram$ticas Livres de !ontexto
4rvores de an$lise sint$tica
Am'ig5idades em 3L!s
Autmato com "ilha +A",
Linguagem de um A"
Equival2ncias entre A"s e 3L!s
&0 &0 20
III
Linguagens Livres de Contexo
"ropriedades
Lema do 1om'eamento para LL!s
Mquina de Turing
)efinio
Extenses 6 #$quina de %uring '$sica
#$quinas de %uring restritas
(ierarquias de Linguagens
&0 &0 20
TOTAL '0 '0 60
MTODOS
TCNICAS RECURSOS DIDATICOS INSTRUMENTOS DE
AVALIAO
A!"# $%&'#()(*"# +",-' .-"/0' P-'*"# )$1-(0"# 2$#0-()"#3
SERVIO P#!LICO FEDERAL
P-4)(0"# ,$ !".'-")1-(' P(/0$!
D")"#5'6
C'7&)",'-
$ ")(*(,",$# &-4)(0"# /'
0'7&)",'-8
REFER(NCIAS !I!LIOGRFICAS
ILI!GRAFIA "#ICA$
7. (opcroft, 8.E.9 :llman, 8.). Introduo % Teoria de Autmatos& Linguagens e Com'utao. ;egunda
Edio, Ed. !ampus<Elsevier. =>>?.
=. (arr@ LeA@s B !hristos "apadimitriouC (lementos de Teoria da Com'utao, Editora 1ooDman, "orto
Alegre, =a. ed., =>>>.
?. 1lauth, ". #. Linguagens Formais e Autmatos. ;Erie Livros )id$ticos ?, Edio =, :R3;, 7FFG.
ILI!GRAFIA C!M)L(M(*TAR$
7. Rosa, 8. L. 3. Linguagens Formais e Autmatos. Editora L%!, =>7>.
=. #ichael ;ipserC "Introduo Teoria da Computao", Editora %hompson, %raduo =a. ed., =>>H.
APROVAO
DEPARTAMENTO
9999 : 999999999999 : ;011 99999999999999999999999999999999999999
DATA ASS8 DO C<EFE DO DEPARTAMENTO8
CONSEPE
9999999999999 999:99999999 :;011 99999999999999999999999999999
N
'
DA REUNIO DATA ASS8 DA SECRETRIA DO CONSEPE8
MOSSOR-RN) **** $% ********** $% 20&&+