UNIVERSIDADE FEDERAL DE VIÇOSA

Campus de Rio Paranaíba

Sistemas de Informação
SIN 131 – Introdução à Teoria da Computação –
2018-1
Prof. Matheus Nohra Haddad

Trabalho – 2018-1 (20 pontos)

Trabalho de pesquisa sobre temas relevantes em Teoria

da Computação

 Escrever um artigo sobre um dos temas de pesquisa relacionados na

Tabela 1.

 O artigo deve conter:

o Resumo
o Introdução ao tema.
o Detalhamento do tema.
o Revisão bibliográfca de trabalhos relacionados ao tema.
o Conclusão.
o Referencias bibliográfcas.
 Sugestão utilizar o Mendeley (https://www.mendeley.com/)
para gerenciar as referencias, caso utilize o Word.
 Style: IEEE
o As fontes da pesquisa devem ser artigos de revistas científcas e
congressos.
 No mínimo 7 referências.
 Lugares para começar a procurar:
o http://scholar.google.com.br/schhp?hl=pt-BR
o http://ieeexplore.ieee.org/Xplore/home.jsp
o O artigo deve estar no formato IEEE (folha A4) e possuir no
mínimo 5 páginas.
 http://www.ieee.org/conferences_events/conferences/publis
hing/templates.html
 É imprescindível seguir o formato felmente e o
número mínimo de páginas.

 Elaborar uma apresentação de no mínimo 10 minutos sobre o trabalho

desenvolvido. O grupo terá NOTA ZERO caso não tenha pelo menos 10
minutos de apresentação.
 Grupos de no máximo 3 alunos.
 Data de entrega: 15 de junho de 2018 (PVAnet)
o Entregar o artigo (em PDF) e a apresentação (em PDF).
 Data das apresentações: 18 e 20 de junho.

 Plágio: trechos ou trabalhos completos copiados de outras fontes

constituem plágio. Caso seja detectado todos os alunos recebem o
conceito F.
o Para que sua pesquisa não seja considerada plágio, interprete o
texto que esta consultando e rescreva com as suas palavras
dentro do contexto do seu trabalho, sempre citando a fonte
consultada.

1
 Temas de pesquisa

1. Modelos Computacionais Universais

Exemplos: Cálculo Lambda, Máquina de Post

2. Problemas indecidíveis

Exemplos: Problema da correspondência de Post,

Ambiguidade para CFG´s, Verifcar se uma linguagem é
regular, livre de contexto, ...

3. Teorema da recursão

4. Aplicações

Análise léxica e sintática, Especifcação Formal, Programação

orientada a eventos, Especifcação de protocolos de
comunicação,...

5. Modelagem da unidade de controle do microprocessador MIPS

multiciclo através de uma máquina de estados fnitos

6. Mineração de padrões sequenciais com autômatos fnitos

probabilísticos

7. Gramáticas Livres de Contexto Probabilísticas

8. Obtendo expressões regulares simplifcadas a partir de

autômatos de estados fnitos

9. Autômatos celulares

10. Weighted automata

11. As Classes de complexidade P e NP

2
Grupos e Temas:

Sorteio: [8, 3, 9, 4, 11, 2, 7, 10, 1, 6, 5]

Ordem de Grupo Tema

Apresentação

1 Hugo Rodrigo Obtendo expressões

regulares
simplifcadas a partir
de autômatos de
estados fnitos
2 Daniel de Melo Teorema da recursão

3 Jefferson Santos Autômatos celulares

4 Henrique Mendonça Aplicações

5 Luiz Paulo da Silva As Classes de

complexidade P
e NP
6 Paulo Gomes Problemas
indecidíveis
7 Danilo Silva Gramáticas Livres de
Contexto
Probabilísticas
8 João Marcos Weighted
automata
9 Otávio Antônio Modelos
Computacionais
Universais
10 Gabriel Alves Mineração de padrões
sequenciais com
autômatos fnitos
probabilísticos
11 Gabriel Montserrat Modelagem da
unidade de controle
do microprocessador
MIPS multiciclo
através de uma
máquina de estados
fnitos
12