Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	PROGRAD-COORDENAÇÃO-GERAL DOS BACHARELADOS INTERDISCIPLINARES (11.01.05.22)
Código:	MCTA015-13
Nome:	LINGUAGENS FORMAIS E AUTÔMATA
Carga Horária Teórica:	36 h.
Carga Horária Prática:	12 h.
Carga Horária de Ead:	0 h.
Carga Horária Estudo Individual:	0 h.
Carga Horária Total:	48 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:	( MCTX022-13 )
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:	Não
Necessita de Orientador:	Não
Possui Subturmas:	Não
Exige Horário:	Sim
Quantidade de Avaliações:	2
Ementa/Descrição:	Conceitos básicos. Linguagens regulares: autômatos determinísticos e não-determinísticos, expressões regulares. Linguagens livres de contexto: gramática, autômatos a pilha. Linguagens recursivamente enumeráveis: máquinas de Turing determinísticas e não-determinísticas. Indecidibilidade: o problema da parada. Complexidade: definição das classes P e NP.
Referências:	HOPCROFT, John E; ULLMAN, Jeffrey D; MOTWANI, Rajeev. Introdução à teoria de autômatos, linguagens e computação. 2 ed. Rio de Janeiro: Campus, 2003. 560 p. SIPSER, Michael. Introdução à teoria da computação. 2 ed. São Paulo: Thomson Learning, 2007. 459 p. ATALLAH, Mikhail J. (Ed.). Algorithms and theory of computation handbook. Boca Raton: CRC Press, 1999. 1300 p. ANDERSON, James A. Automata theory with modern applications. New York: Cambridge, 2006. 255 p. KHOUSSAINOV, Bakhadyr; NERODE, Anil. Automata theory and its applications. Boston: Birkhäuser, 2001. 430 p. (Progress in computer science and applied logic). RICH, E. A. Automata, computability and complexity: theory and applications. Upper Saddle River: Pearson prentice Hall, 2008. 1099 p.
Outros componentes que têm esse componente como equivalente MCCC009-23 - LINGUAGENS FORMAIS E AUTÔMATOS
Histórico de Equivalências Expressão de Equivalência Ativa Início da Vigência Fim da Vigência ( MCTX022-13 ) ATIVO 01/06/2006
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo BCT 2015-2017 2017.2 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCC 2010/2015 - A 2010.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 8 Não BCC 2010/2015 - A 2010.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 8 Sim BCC 2010/2015 - N 2010.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 8 Sim BCC 2015/2016 - A 2016.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 9 Não BCC 2015/2016 - A 2016.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 9 Sim BMAT 2017 - A 2017.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCC 2015/2016 - N 2016.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 9 Sim BCC 2017 - A 2017.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 9 Não BMAT 2017 - N 2017.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCC 2017 - A 2017.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 9 Sim BMAT 2012/2016 - N 2013.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BMAT 2012/2016 - A 2013.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCC 2017 - N 2017.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 9 Sim BMAT 2010/2011 - N 2010.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCC 2017 - N 2017.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 9 Sim BMAT 2010/2011 - A 2010.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BNC 2021 - BCT 2009/2015 2021.3 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BNC 2021 - BCT 2009/2015 2021.3 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BNC 2023 - BCT 2022 2023.3 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BNC 2023 - BCT 2022 2023.3 NEUROCIÊNCIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCT 2009 2009.1 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCT 2015-2017 2017.2 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BMAT 2017 - N 2017.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCC 2010/2015 - N 2010.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - M Sim 8 Sim BMAT 2010/2011 - A 2010.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2015-2016 2015.2 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BMAT 2010/2011 - N 2010.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCT 2015-2016 2016.2 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2009 2009.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BMAT 2017 - A 2017.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2009 2009.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCT 2008 2008.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BMAT 2012/2016 - A 2013.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BMAT 2012/2016 - N 2013.2 MATEMÁTICA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2008 2008.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2006 2006.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2006 2006.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCT 2022 2023.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCT 2022 2023.1 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCC 2015/2016 - N 2016.2 CIÊNCIA DA COMPUTAÇÃO - SANTO ANDRÉ - BACHARELADO - Presencial - N Sim 9 Sim BCT 2009 2009.1 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCT 2015-2017 2017.2 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - M Não 0 Sim BCT 2015-2017 2017.2 CIÊNCIA E TECNOLOGIA - SANTO ANDRÉ - BACHARELADO - Presencial - N Não 0 Sim BCT 2015-2016 2015.2 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCT 2022 2023.1 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim BCT 2022 2023.1 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - N Não 0 Sim BCT 2015-2016 2015.2 CIÊNCIA E TECNOLOGIA - SÃO BERNARDO DO CAMPO - BACHARELADO - Presencial - M Não 0 Sim

SIGAA | UFABC - Núcleo de Tecnologia da Informação - ||||| | Copyright © 2006-2024 - UFRN - sigaa-2.ufabc.int.br.sigaa-2-prod v4.9.3