Ministério da Educação UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ UTFPR - CAMPUS FRANCISCO BELTRAO |
|||
plano de ensino
Código Ofertado |
Disciplina/Unidade Curricular |
Modo de Avaliação |
Modalidade da disciplina |
Oferta |
LI3L |
Linguagens Formais E Teoria Da Computação |
Nota/Conceito E Frequência |
Presencial |
Semestral |
Carga Horária |
||||||||||||||||||||||||
AT |
AP |
APS |
ANP |
APCC |
Total |
|||||||||||||||||||
1 |
1 |
2 |
0 |
0 |
30 |
|||||||||||||||||||
|
||||||||||||||||||||||||
Objetivo |
||||||||||||||||||||||||
Apresentar e identificar os princípios fundamentais das linguagens formais e teoria da computação, bem como suas aplicações em Licenciatura em Informática; Compreender plenamente os formalismos envolvidos nas etapas de análises léxica e sintática das linguagens, bem como fundamentos do processo de computação e suas limitações. |
||||||||||||||||||||||||
Ementa |
||||||||||||||||||||||||
Autômatos de estado finito. Linguagens regulares. Máquinas de Turing. Complexidade computacional. Linguagens formais e gramáticas. |
||||||||||||||||||||||||
Conteúdo Programático |
||||||||||||||||||||||||
|
Bibliografia Básica |
---|
|
DIVERIO, Tiarajú A.; MENEZES, Paulo Blauth. Teoria da computação: máquinas universais e computabilidade. 3. ed. Porto Alegre, RS: Bookman, 2011. 288 p. (Livros Didáticos Informática UFRGS, v. 5). ISBN 9788577808243. |
SIPSER, Michael. Introdução à teoria da computação. São Paulo, SP: Thomson Learning, c2006. xxi, 459 p. ISBN 9788522104994. |
RAMOS, Marcus Vinícius Midena; JOSÉ NETO, João; VEGA, Ítalo Santiago. Linguagens formais: teoria, modelagem e implementação . Porto Alegre: Bookman, 2009. 656 p. ISBN 9788577804535. |
Bibliografia Complementar |
---|
|
BAIRD, Kevin C. Ruby By Example : Concepts and Code. San Francisco, CA: No Starch Press, 2007. E-book: http://site.ebrary.com/lib/utfpr/docDetail.action?docID=10183329 |
TUCKER, Allen B; NOONAN, Robert E. Linguagens de programação: princípios e paradigmas. 2. ed. São Paulo, SP: McGraw-Hill, 2008. xiii, 599 p. (Linguagens para microcomputadores). ISBN 9788577260447. |
STALLINGS, William. Arquitetura e organização de computadores. 8. ed. São Paulo, SP: Prentice-Hall, 2010. 624 p. ISBN 9788576055648. |
CORMEN, Thomas H. et al. Algoritmos: teoria e prática. Rio de Janeiro, RJ: Elsevier, 2012. xvi, 926 p. ISBN 9788535236996. |
SINGH, Vishnu P. Simplified Computer Hardware Course. Computech Publications Limited: Delhi, 2009. E-book:http://site.ebrary.com/lib/utfpr/docDetail.action?docID=10417574 |
# |
Resumo da Alteração |
Edição |
Data |
Aprovação |
Data |
1 |
inclusao 1a. |
Maici Duarte Leite |
22/02/2018 |
Maici Duarte Leite |
22/02/2018 |
Documento assinado eletronicamente por (Document electronically signed by) WILIAN RODRIGO GALEAZZI, TECNICO EM ASSUNTOS EDUCACIONAIS, em (at) 12/07/2022, às 11:40, conforme horário oficial de Brasília (according to official Brasilia-Brazil time), com fundamento no (with legal based on) art. 4º, § 3º, do Decreto nº 10.543, de 13 de novembro de 2020. |
A autenticidade deste documento pode ser conferida no site (The authenticity of this document can be checked on the website) https://sei.utfpr.edu.br/sei/controlador_externo.php?acao=documento_conferir&id_orgao_acesso_externo=0, informando o código verificador (informing the verification code) 2847022 e o código CRC (and the CRC code) 40504E7C. |
Referência: Processo nº 23064.004158/2022-23 | SEI nº 2847022 |