Universidade Federal do Amazonas Faculdade de Tecnologia Graduao em Engenharia da Computao PLANO DE ENSINO

Dados do Professor

NOME DO PROFESSOR: Edjard de Souza Mota DEPARTAMENTO: Cincia da Computao TITULAO: Doutor ANO DE INGRESSO: 1989 REGIME DE TRABALHO: Dedicao Exclusiva EMAIL: edjard@icomp.ufam.edu.br
Dados da Disciplina

CLASSE: Associado

NVEL: II

TURNO DE TRABALHO: Diurno FONE:

CURSO: Engenharia de Computao DISCIPLINA: ICC040 Linguagens Formais e Automata CRDITOS: 04 ANO: 2012 PR-REQUISITO:
Discreta ICC120 Matemtica

CARGA HOR: 60h SEMESTRE: 02

1. Ementa e Objetivos Descrio da Ementa ICC040 Sistemas Formais; Lgica Proposicional e Lgica de Predicados; Linguagens e Expresses Regulares; Gramticas Livres-de-Contexto e Parsing; Decidibilidade e Computabilidade; Complexidade Computacional. Descrio dos Objetivos ICC040 Realizar uma explorao orientada das linguagens formais e mquinas enquanto modelos abstratos da computao, de modo a compreender relaes existentes entre linguagens formais e computabilidade, percebendo que tais fundamentos persistem independetemente de tais tecnologias vigentes associadas Computao. A disciplina busca ainda promover a familiaridade com a matemtica como linguagem de representao de abstraes em Computao.

1/6

2. Metodologia de Ensino Descrio da Metodologia Aulas expositivas; Resoluo de exerccios com a participao dos alunos. Microcomputador; Quadro a pincel; Retroprojetor. 3. Avaliaes (Clculo das Mdias) Descrio das Notas Descrio: Sero realizadas 3 avaliaes parciais (AP) e 3 defesas de listas de exerccios (DL). Cada par (AP,DL) gera uma nota parcial (NP) e ser utilizada para computar um Exerccio Escolar Parcial (EEP), e este ir compor Mdia dos Exerccios Escolares (MEE). A MEE junto com a prova final (PF) ir compor a mdia final na disciplina. Iremos adotar uma mtrica no linear de para computar um EEP. A relao desta mtrica com a tradicional que ser computada para efeito de aproveitamento acadmico mostrada na figura a seguir. 1 2 3 4 5 6 7 8 9 10

0
1. NP = 0.4*DL + 0.6*AP 2. Se NP <= 7, ento EEP = 5*NP/7 3. Se NP > 7, ento EEP = 5*(1 + (NP-7)/3)

10

O clculo da mdia final de acordo com o estabelecido pelo regimento da UFAM e dado de acordo com a seguinte frmula. Clculo da Mdia : MF = 2*(EEP1 + EEP2 + EEP3)/3 + PF / 3 MF = mdia final EEP1 = Exerccio Escolar Parcial 1 EEP2 = Exerccio Escolar Parcial 2 EEP3 = Exerccio Escolar Parcial 3 PF = prova final A prova final ser realizada no dia 12 ou 19 de abril de 2013.

Universidade Federal do Amazonas Faculdade de Tecnologia Graduao em Engenharia da Computao 4. Contedo Programtico Aula Descrio Detalhada
Apresentao do professor; Discusso da ementa. Introduo Conceitos preliminares e viso geral sobre mtodos e linguagens formais Motivao: Por que estudar teoria de autmatos? Breve reviso de mtodos formais de prova Conceitos centrais da teoria de autmatos Autmatos Finitos Determinsticos (AFD) Autmatos Finitos Determinsticos e No-Determinsticos Autmatos Finitos No-Determinsticos AFDs e Expresses Regulares O Lema do Bombeamento e linguagens regulares Propriedades de fecho de linguagens regulares Reviso e mais exerccios PRIMEIRA DEFESA (21/01/2013) PRIMEIRA AVALIAO PARCIAL (23/01/2013) Gramticas Livres-de-Contexto (GLC) , Derivaes e Linguagens Livresde-Contexto (LLC) rvores Sintticas (Parse Trees) e Ambiguidade Autmatos com Pilha (AP) AP Determinsticos (APD) Linguagens de APDs Equivalncia entre APDs e GLCs Propriedade de Linguagens Livres-de-Contexto Reviso e mais exerccios SEGUNDA DEFESA (04/03/2013) SEGUNDA AVALIAO PARCIAL (06/03/2013) Maquinas de Turing Tcnicas de programao de mquinas de Turing Extenses da Mquina de Turing Enumeraes e Mquinas de Turing A Tese de Church-Turing Decidibilidade e Indecidibilidade Problemas indecidveis e Mquinas de Turing

2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27

3/6

28 29 30

Reviso e mais exerccios TERCEIRA DEFESA (08/04/2013) TERCEIRA AVALIAO PARCIAL (10/04/2013)

5. Bibliografia Bibliografia Bibliografia Bsica. [1] VIEIRA, Newton J. Fundamentos Tericos da Computao. Notas de Aula para cursos de computao.
UFMG, 2004. Disponvel em http://infouem.sots.com.br/wp- content/uploads/2011/03/LIVRO_FTC.pdf Linguagens e Computao. Editora Campus, 2002

[2] HOPCROFT, John E.; ULLMAN, Jeffrei D.; MOTWANI, Rajeev. Introduo Teoria de Autmatos, [3] SIPSER, Michael. Introduo Teoria da Computao. Editora Thomson Pioneira, 2007. Bibliografia Complementar (No mximo cinco. No obrigatrio estar disponvel na biblioteca). [1] Papadimitriou, Christos H.; Lewis, Harry R. Elementos de Teoria da Computao, 2a
edio. Bookman, 2004

[2] Thomas A. SUDKAMP. Languages and Machines: An Introduction to the Theory of Computer Science, 3rd
edition. Addison Wesley, 2005

6. Informaes para Arquivamento Assinaturas

Professor: Edjard de Souza Mota Manaus,___/___/___. ______________________________ Assinatura

Coordenador de Colegiado de Curso Aprovado em Manaus, ___/___/___. ______________________________ Assinatura

Universidade Federal do Amazonas Faculdade de Tecnologia Graduao em Engenharia da Computao 7. Lista de Frequncia dos Acadmicos # 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 19 20 21 22 Assinaturas

5/6

23 24 25 26 27 28 29 30