hola:
sí, claro, hay que probar por qué cierto lenguaje es de un tipo y no de otro, salvo que sea alguno de los ejemplos canónicos vistos en el curso: {a^n b^n/ n nat}, {a^n b^n c^n/ n nat}, ...
ante la duda, podés preguntar en la prueba.
saludos,
d.-