Boa tarde.
Na questão 3 da segunda lista fiquei em dúvida sobre uma coisa. Disse que a gramática (a) era ambígua. Minha justificativa foi de que
<string> _ <string> _ <string> --- ()
L <string> --- ()
L <string> ----- ()
e
<string> _ <string> -------- ()
L <string> --- <string> ---- ()
L <string> ---------- ()
Eram árvores possíveis para a string ()()() .
Contudo, as árvores são isomorfas; Foi dito que ao encontrar duas árvores não isomorfas então teriamos ambiguidade, mas este meu argumento está correto ?
Poderia dizer que se eu rotula-las, ou levar em consideração a ordem com que ocorrem as derivações, exemplo ramo da direita ou da esquerda, elas não são isomorfas ?