Oi pessoal,
Na segunda lista, a pontuação é a seguinte:
1) 2,5 pra cada item, 1,25 se não justificar. No item (b), quem mostrou um autômato infinito fica com 1,9, quem provou (não só afirmou) que ele cicla ficou com 2,5. Quem não mostrou que esse autômato tá correto fica com 1,9, quem não mostrou nada fica com 1,25.
Quem fez utilizando o AND inverso do item (a) teria que argumentar porque está correto (mesmo que só falasse sobre o caminho inverso) e mostrar como construir o AD. A maioria não fez isso e ficou com 1,0. Quem só mostrou o AD fica com 1,9; que só provou a corretude fica com 1,5.
2) a) 1,5 b) 1,5 c) 2,0
a) 0,3 ER, 0,3 justificativa da ER, 0,5 AD e 0,4 justificativa AD
b) 0,3 ER, 0,6 AD e 0,6 justificativa AD (essa não cobrei justificativa da ER pois era trivial)
c) 0,4 ER, 0,4 justificativa ER, 0,6 AD e 0,6 justificativa AD
Aceitei as justificativas dos ADs que apenas descreviam as invariantes de cada estado, desde que fossem consistentes. Pra quem não justificou mas colocou labels úteis nos autômatos dei 0,2 pela justificativa.
As estatísticas (dentre os que fizeram):
média 5,42
máximo 9,4 (duas ocorrências)
mínimo 1,9
mediana 5,85
Dessa vez as notas foram mais baixas pois muitos se contentaram em apenas mostrar os ADs e as ERs. Os resultados também foram mais uniformes, o que dá pra ver já que a média tá bem próxima da mediana.
Murilo
Forum