Universidade Federal do Amazonas Faculdade de Tecnologia Graduação em Engenharia da Computação PLANO DE ENSINO

Dados do Professor

NOME DO PROFESSOR: Edjard de Souza Mota DEPARTAMENTO: Ciência da Computação TITULAÇÃO: Doutor ANO DE INGRESSO: 1989 REGIME DE TRABALHO: Dedicação Exclusiva EMAIL: edjard@icomp.ufam.edu.br
Dados da Disciplina

CLASSE: Associado

NÍVEL: II

TURNO DE TRABALHO: Diurno FONE:

CURSO: Engenharia de Computação DISCIPLINA: ICC040 Linguagens Formais e Automata CRÉDITOS: 04 ANO: 2012 PRÉ-REQUISITO:
Discreta ICC120 Matemática

CARGA HOR: 60h SEMESTRE: 02

1. Ementa e Objetivos Descrição da Ementa – ICC040 Sistemas Formais; Lógica Proposicional e Lógica de Predicados; Linguagens e Expressões Regulares; Gramáticas Livres-de-Contexto e Parsing; Decidibilidade e Computabilidade; Complexidade Computacional. Descrição dos Objetivos – ICC040 Realizar uma exploração orientada das linguagens formais e máquinas enquanto modelos abstratos da computação, de modo a compreender relações existentes entre linguagens formais e computabilidade, percebendo que tais fundamentos persistem independetemente de tais tecnologias vigentes associadas à Computação. A disciplina busca ainda promover a familiaridade com a matemática como linguagem de representação de abstrações em Computação.

1/6

Resolução de exercícios com a participação dos alunos. Retroprojetor. . Microcomputador.6*AP 2.2. Quadro a pincel. NP = 0. então EEP = 5*NP/7 3. A relação desta métrica com a tradicional que será computada para efeito de aproveitamento acadêmico é mostrada na figura a seguir. Metodologia de Ensino Descrição da Metodologia Aulas expositivas. Se NP <= 7. então EEP = 5*(1 + (NP-7)/3) 5 10 O cálculo da média final é de acordo com o estabelecido pelo regimento da UFAM e é dado de acordo com a seguinte fórmula. Cálculo da Média : MF = 2*(EEP1 + EEP2 + EEP3)/3 + PF / 3 • MF = média final • EEP1 = Exercício Escolar Parcial 1 • EEP2 = Exercício Escolar Parcial 2 • EEP3 = Exercício Escolar Parcial 3 • PF = prova final A prova final será realizada no dia 12 ou 19 de abril de 2013. Avaliações (Cálculo das Médias) Descrição das Notas Descrição: Serão realizadas 3 avaliações parciais (AP) e 3 defesas de listas de exercícios (DL). 3. Cada par (AP. e este irá compor Média dos Exercícios Escolares (MEE).DL) gera uma nota parcial (NP) e será utilizada para computar um Exercício Escolar Parcial (EEP). Iremos adotar uma métrica não linear de para computar um EEP. A MEE junto com a prova final (PF) irá compor a média final na disciplina.4*DL + 0. 1 2 3 4 5 6 7 8 9 10 0 1. Se NP > 7.

Discussão da ementa.Universidade Federal do Amazonas Faculdade de Tecnologia Graduação em Engenharia da Computação 4. Conteúdo Programático Aula Descrição Detalhada Apresentação do professor. Introdução Conceitos preliminares e visão geral sobre métodos e linguagens formais Motivação: Por que estudar teoria de autômatos? Breve revisão de métodos formais de prova Conceitos centrais da teoria de autômatos Autômatos Finitos Determinísticos (AFD) Autômatos Finitos Determinísticos e Não-Determinísticos Autômatos Finitos Não-Determinísticos AFDs e Expressões Regulares O Lema do Bombeamento e linguagens regulares Propriedades de fecho de linguagens regulares Revisão e mais exercícios PRIMEIRA DEFESA (21/01/2013) PRIMEIRA AVALIAÇÃO PARCIAL (23/01/2013) Gramáticas Livres-de-Contexto (GLC) . Derivações e Linguagens Livresde-Contexto (LLC) Árvores Sintáticas (Parse Trees) e Ambiguidade Autômatos com Pilha (AP) AP Determinísticos (APD) Linguagens de APDs Equivalência entre APDs e GLCs Propriedade de Linguagens Livres-de-Contexto Revisão e mais exercícios SEGUNDA DEFESA (04/03/2013) SEGUNDA AVALIAÇÃO PARCIAL (06/03/2013) Maquinas de Turing Técnicas de programação de máquinas de Turing Extensões da Máquina de Turing Enumerações e Máquinas de Turing A Tese de Church-Turing Decidibilidade e Indecidibilidade Problemas indecidíveis e Máquinas de Turing 1 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 .

com. Elementos de Teoria da Computação. Introdução à Teoria da Computação. 2a edição. Lewis.content/uploads/2011/03/LIVRO_FTC. 2004 [2] Thomas A. Bibliografia Complementar (No máximo cinco. [1] Papadimitriou. Christos H. Harry R. Informações para Arquivamento Assinaturas Professor: Edjard de Souza Mota Manaus. Introdução À Teoria de Autômatos. Languages and Machines: An Introduction to the Theory of Computer Science. ___/___/___..pdf Linguagens e Computação.28 29 30 Revisão e mais exercícios TERCEIRA DEFESA (08/04/2013) TERCEIRA AVALIAÇÃO PARCIAL (10/04/2013) 5.br/wp. [1] VIEIRA.. Bibliografia Bibliografia Bibliografia Básica. Michael. Jeffrei D. 2005 6. 2007. Newton J. ______________________________ Assinatura .___/___/___. ULLMAN. Bookman.sots. UFMG. Não é obrigatório estar disponível na biblioteca). [3] SIPSER. Rajeev.. John E. Notas de Aula para cursos de computação. ______________________________ Assinatura Coordenador de Colegiado de Curso Aprovado em Manaus. 2002 [2] HOPCROFT. 2004. 3rd edition. SUDKAMP. MOTWANI. Fundamentos Teóricos da Computação. Disponível em http://infouem. Editora Campus. Addison Wesley. Editora Thomson Pioneira.

Lista de Frequência dos Acadêmicos # 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 19 20 21 22 Assinaturas 5/6 .Universidade Federal do Amazonas Faculdade de Tecnologia Graduação em Engenharia da Computação 7.

23 24 25 26 27 28 29 30 .

Sign up to vote on this title
UsefulNot useful