-
PPGCC003 - TÓPICOS EM SISTEMAS COMPUTACIONAIS - Turma: 01 (2017.2)
Introdução a Teoria da Computação
Por que estudar Teoria da Computação?
Discussão do plano de ensino e sistema de avaliação
Autômatos e linguagens
Teoria da computabilidade
Teoria da complexidade
Discussão sobre a Hierarquia de Chomsky:
Gramáticas Regulares, Gramáticas Livres de Contexto, Gramáticas Sensível ao Contexto e Gramáticas Irrestritas.
DES: Definição
DES baseado na Teoria de Autômatos
Implementação de algoritmos
Autômatos com guarda
Statechars: conceitos, modelos e propriedades
DES baseados em Redes de Petri (RdP)
RdP: conceitos, modelos e propriedades
A tese de Church-Turing; Máquinas de Turing e Problemas de Decisão; Máquina de Turing Universal; Problema da Parada; Redução de problemas.
Definição; Variações de Máquinas de Turing; Gramáticas e Máquinas de Turing; Propriedades das LREs e das Linguagens Recursivas.
Resolução de exercícios sobre máquinas de turing e decidibilidade.
Nenhum item foi encontrado
Título
SIGAA | Superintendência de Tecnologia da Informação - STI/UFPI - (86) 3215-1124 | sigjb15.ufpi.br.instancia1 vSIGAA_3.12.1594 08/04/2026 14:27