Demonstração da coerência das metodologias com os objectivos

Todos os conceitos envolvidos são expostos em aulas teóricas. Todos os conceitos são exercitados em aulas teórico-práticas. Nomeadamente: os alunos são apresentados aos conceitos de autómato finito determinista e não determinista, autómato de pilha e máquina de Turing, as suas capacidades e limitações, em articulação com as classes de linguagens reconhecidas para cada modelo; é introduzido o conceito de complexidade e diversas classes, bem como as noções de problema tratável e intratável. Exercitam-se: o reconhecimento de modelos de computação via def. formal e representação diagramática, a computação de palavras pelos diversos modelos de computação, a extração da linguagem reconhecida por um modelo particular, a construção de um modelo particular para determinada linguagem, o uso de expressões regulares, formas normais, a classificação de problemas em termos de complexidade.