Objectivos
Licenciatura em Engenharia Informática
Licenciatura em Engenharia Informática (PL)
Concluída a disciplina o aluno deverá ser capaz de: 1. Interpretar e formular definições rigorosas; 2. Analisar consequências lógicas das definições; 3. Descrever vários modelos computacionais e assinalar as suas limitações. 4. Descrever linguagens através de gramáticas. 5. Resolver problemas computacionais utilizando os modelos computacionais aprendidos. 6. Manipular os formalismos aprendidos na construção de analisadores léxicos e sintácticos.