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

$$ L=\big\{axby\space |\space x\in \{a,b,c\}^+,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 bSa\space |\space B\space |\space \epsilon\\ B\rarr cB\space |\space d $$

1. Descrivere 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 eseguiti per ottenerla
3. Eseguire il parsing della stringa $bbcdaa$ tramite un parser top-down non ricorsivo che usa la tabella data

• Soluzione

1. Si consideri la seguente definizione regolare:

$d_1\rarr abc$ Token T1

$d_2\rarr abb$ Token T2

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

$d_4\rarr ab^+c^*$ Token T4

1. Determinare, giustificando tutti i passaggi, i token e i relativi lessemi che sono emessi da un analizzatore lessicale che legge l’input $abcabbba\$$ 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