Ministrio da Educao e Cincia

p-Flio
U.C. 21078

Linguagens e Computao
13 de fevereiro de 2013

-- INSTRUES - O estudante dever responder prova na folha de ponto e preencher o cabealho e todos os espaos reservados sua identificao, com letra legvel. No fim da prova, poder ficar na posse do enunciado. Verifique no momento da entrega da(s) folha(s) de ponto se todas as pginas esto rubricadas pelo vigilante. Caso necessite de mais do que uma folha de ponto, dever numer-las no canto superior direito. Em hiptese alguma sero aceites folhas de ponto dobradas ou danificadas. Exclui-se, para efeitos de classificao, toda e qualquer resposta apresentada em folhas de rascunho. Os telemveis devero ser desligados durante toda a prova e os objectos pessoais deixados em local prprio da sala de exame. Utilize unicamente tinta azul ou preta. A prova constituda por 2 pginas (esta pgina de rosto e uma com as questes), contm 3 grupos de questes, sem consulta, e termina com a palavra FIM. Verifique o seu exemplar e, caso encontre alguma anomalia, dirija-se ao professor vigilante nos primeiros 15 minutos da mesma, pois qualquer reclamao sobre defeito(s) de formatao e/ou de impresso que dificultem a leitura no ser aceite depois deste perodo. Durao: 90 minutos

GRUPO I (4 valores) 1. Defina genericamente um autmato finito no determinista (NFA). 2. Considere o seguinte autmato finito no determinista (NFA): a,b q0 a q1 b q2 a,b

a) Identifique a linguagem reconhecida pelo autmato. b) Transforme o NFA num DFA correspondente.

GRUPO II (4 valores) Considere o alfabeto = {a,b} e considere a linguagem L = { w * | w = anbn+k, onde n e k so nmeros inteiros positivos}. Descreva um autmato de pilha (PDA) que reconhea a linguagem L.

GRUPO III (4 valores) Considere o alfabeto = {a,b} e considere a linguagem L = { w * | w = anbn+1an, sendo n nmero inteiro positivo}. Descreva uma mquina de Turing que reconhea a linguagem L.

FIM