La prima traccia era scrivere grammatica e automa a partire dalla seguente espressione regolare: a(b+a)*b
La seconda traccia dovrebbe essere questa: Siano dati i seguenti linguaggi formali L1 = {a^3n b^3n: n>=0} e L2 = {w appartenente {a, b}*: |w| = 3k, k>=0} Stabilire se L = L1 intersecato L2 è un linguaggio lineare destro. Giustificare formalmente la precedente risposta. Mi hanno detto che c'era questa traccia, ma non sono sicura che fosse esattamente questa, in tutti i dettagli.