1. Determinare e disegnare un automa minimo per il seguente linguaggio:

$$ L=\big\{axbyc\space |\space x\in\{a,b\}^,y\in \{b,c\}^\big\} $$

Illustrare tutti i passaggi che si sono seguiti per arrivare alla soluzione

• Soluzione

1. Si consideri la seguente grammatica:

$$ S\rarr bbSa\space |\space Aa\space |\space dB\\ A\rarr cbA\space |\space \epsilon\\ B\rarr dB\space |\space \epsilon $$

1. Scrivere il linguaggio generato dalla grammatica tramite insiemi di stringhe
2. Dare la tabella di un parser predittivo per la grammatica mostrando tutti i passaggi che si sono seguiti per ottenerla
3. Eseguire il parsing della stringa $"bbaa\$"$ tramite un parser top-down non ricorsivo che usa la tabella data

• Soluzione

1. Si consideri la seguente definizione regolare

$d_1\rarr aabb$ Token T1

$d_2\rarr ab$ Token T2

$d_3\rarr a^*b^+$ Token T3

$d_4\rarr a^+b^*$ Token T4

Determinare, giustificando i passaggi, i token e i relativi lessemi che sono emessi da un analizzatore lessicale che legge l’input $"abbaabba\$"$ ed è basato sulla definizione data. Come d’uso si assume che l’analizzatore lessicale usa le due regole longest-match e first-one-listed per risolvere eventuali conflitti di determinazione dei token

• Soluzione