Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:	MÓDULO
Unidade Responsável:	FANAT - CI - COORDENAÇÃO DE INFORMÁTICA (11.01.19.06.01)
Código:	MDI0196
Nome:	Linguagens Formais e Autômatos (08051911)
Carga Horária Teórica:	60 h.
Carga Horária Prática:	0 h.
Carga Horária de Ead:	0 h.
Carga Horária Total:	60 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:
Excluir da Avaliação Institucional:	Não
Matriculável On-Line:	Sim
Horário Flexível da Turma:	Sim
Horário Flexível do Docente:	Sim
Obrigatoriedade de Nota Final:	Sim
Pode Criar Turma Sem Solicitação:	Sim
Necessita de Orientador:	Não
Possui Subturmas:	Não
Exige Horário:	Sim
Quantidade de Avaliações:	3
Ementa/Descrição:	Linguagens regulares, autômatos finitos, linguagens livres de contexto, autômatos com pilha, o problema da parada da máquina de Turing, hierarquia das classes de linguagem. Máquina de Turing, Computabilidade efetiva, Funções recursivas, Tese de Church, Teorema de incompletude de Godel. Problemas indecidíveis.
Equivalência(s) Específica(s) Equivalências Específicas Matriz Curricular Currículo Início da Vigência Fim da Vigência FPE0080 PEDAGOGIA - PAU DOS FERROS - LICENCIATURA - Presencial - N FPE2003 - 2020.2 2022.1 2080.2
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo MCP0001 2022.1 CIÊNCIA DA COMPUTAÇÃO - MOSSORÓ - BACHARELADO - Presencial - MT Sim 4 Sim

SIGAA | Superintendência de Tecnologia da Informação - STI/UERN - (84) 3315-2222 | Copyright © 2006-2026 - UFRN - sigs-hml.jboss01-hml vSNAPSHOT