Buongiorno, ho un problema di informatica teorica. Ho un esercizio che si sviluppa in due punti:
-generare una grammatica context-free dato il linguaggio $L={a^n w a^m | w=aba$ oppure w=abba e $m=2n$ con $m,n>0}$
-generare una grammatica context-free dato il linguaggio delle parole che hanno lunghezza dispari e il primo elemento e' diverso da quello centrale e da quello finale (es. ababbab}
entrambi i linguaggi sono sull'alfabeto ${a,b}$
Io ho svolto il primo punto cosi:
$S->aSaa|W$
$W->aba$|abba
e' corretto??
per il secondo punto non ho proprio idee...