Linguagens Formais e Autômatos

Prévia do material em texto

Linguagens Formais e 
Autômatos
Prof. Paulo
pfanio@gmail.com
Henrique
Apresentação da disciplina
• Carga horária:
• 60h
• Competências específicas:
• Aprender a distinguir os diversos tipos de linguagens
formais e seus reconhecedores.
• Ser capaz de projetar linguagens e gramáticas para a
representação ou formalização de processos.
• Ser capaz de especificar reconhecedores para linguagens
que se apresentem.
Apresentação da disciplina
• Metodologia:
• Aulas expositivas 
• Exercícios 
• Trabalhos 
Apresentação da disciplina
• Avaliações:
• A primeira avaliação consistirá de questões dissertativas
objetivas de múltipla escolha.
• A segunda avaliação é elaborada pelo colegiado.
• A segunda chamada e a avaliação final seguem o mesmo
formato da primeira avaliação.
e/ou
• Dependendo do comprometimento da turma, 
atividades em sala poderão valer nota.
Apresentação da disciplina
• A aula posterior à realização de avaliações será
dedicada à resolução das mesmas.
• Todo material apresentado em sala de aula, bem como
recomendações e avisos importantes serão
disponibilizados no ClubeNassau.
• A chamada será realizada ao final de todas as aulas. A
presença do aluno está condicionada estritamente à
presença em sala de aula no momento da chamada.
Bibliografia 
• MENEZES, P. B. Linguagens Formais e Autômatos.
5ª ed. Bookman: Instituto de Informática da UFRGS,
2008. 215 p.
• SIPSER, M. Introdução à Teoria da Computação.
Tradução da 2ª ed. norte-americana. Cengage
Learning, 2013. 459 p.