SERVIÇO PÚBLICO FEDERAL

UNIVERSIDADE FEDERAL DO PARÁ

INSTITUTO DE TECNOLOGIA
FACULDADE DE ENGENHARIA DA COMPUTAÇÃO E TELECOMUNICAÇÕES

Plano de Ensino

EC-01024 TEORIA DA COMPUTAÇÃO

1 – Informações Básicas
1.1 – Bloco: 5o. Bloco
1.2 – Carga Horária: 30h

1.3 – Professor: Eurípedes Pinheiro dos Santos

1.7 – Contato: epsantos@ufpa.br (Ex. assunto: Teoria da Computação-atividade)

2 – Ementa
Autômatos e Linguagens Formais. Autômatos finitos determinísticos e não de-
terminísticos. Linguagens regulares. Expressões Regulares. Autômatos com
pilha determinísticos e não-determinísticos. Linguagens livres de contexto.
Gramáticas Livres de Contexto. Modelos computacionais universais. Compu-
tabilidade.

3 – Objetivos
Introduzir os modelos formais de computação, representados por autômatos. Estabe-
lecer seu poder computacional.

4 - Habilidades e competências
Analisar autômatos, associando os mesmos com diferentes classes de linguagens.
Compreender sua importância e possíveis aplicações.

5 - Estratégias para as atividades didáticas

Apresentação do conteúdo em aulas expositivas. Indicação de leituras. Simulação de
autômatos no JFLAP. Atividades propostas. Seminário de final de curso.

6 - Acompanhamento e avaliações.

5.1 – Frequência:
Será computada durante as aulas.

5.2 – Avaliação:
A avaliação para o período remoto emergencial ocorrerá de forma contínua, dividida
em diversos momentos.
Atividades Rápidas (ATR): contribuindo com 20% para a nota final;
Atividades de Fixação (ATF): contribuindo com 30% para a nota final;
Atividade de Final de Curso (ATFC): na forma de seminário, contribuindo com
50% para a nota final do curso.
As porcentagens indicadas acima serão aplicadas sobre a nota média em cada categoria
de atividade.
NF=20% média_ATR + 30% média_ATF + 50% nota_ATFC

Para obter aprovação o aluno deve alcançar 𝑁𝑁𝑁𝑁 ⩾ 5.

Faculdade de Engenharia da Computação e Telecomunicações. Instituto de Tecnologia. UFPA

Rua Augusto Corrêa, n° 01. Guamá. Belém-PA. CEP: 66.075-110. Fone: (91) 3201-7901
 SERVIÇO PÚBLICO FEDERAL
UNIVERSIDADE FEDERAL DO PARÁ
INSTITUTO DE TECNOLOGIA
FACULDADE DE ENGENHARIA DA COMPUTAÇÃO E TELECOMUNICAÇÕES

7 – Bibliografia utilizada
Sipser, M., Introdução à Teoria da Computação, São Paulo, Cengage, 2007.
Material de apoio: notas de aula do professor; apostilas disponíveis na internet.

8 – Considerações Finais
Este plano de ensino poderá ser alterado conforme necessidades da turma ou diante de
dificuldades geradas pela qualidade de links de comunicação disponíveis. Ocasião em que a
Administração da FCT será informada.

Faculdade de Engenharia da Computação e Telecomunicações. Instituto de Tecnologia. UFPA

Rua Augusto Corrêa, n° 01. Guamá. Belém-PA. CEP: 66.075-110. Fone: (91) 3201-7901