Unit Objectives
Em primeiro lugar os alunos devem aprender a trabalhar com modelos computacionais comuns: os autómatos finitos, as gramáticas e as expressões regulares. Pretende-se que os alunos dominem a teoria das linguagens regulares e que consigam aplica-la às problemáticas associadas às máquinas de estados determinísticas e não determinísticas. Com isto espera-se que os alunos fiquem aptos a definir gramáticas e expressões passíveis de ser transformadas em autómatos e vice-versa com o intuito de dominar o parsing de linguagens protocolares representadas em texto.
Em segundo lugar pretende-se que os alunos sejam capazes de aplicar os conhecimentos do objetivo número um para criar compiladores/interpretadores de linguagens regulares com o objetivo de automatizar máquinas de estados e criar ferramentas de parsing. Pretende-se que estas ferramentas sejam capazes de receber um input textual e criar uma árvore de estruturas passível de ser computada por um sistema automático.
