1. Scrivere una grammatica $LL(1)$ per il seguente linguaggio:

$$ L=\{a^nc\space |\space n\geq 0\}\cup\{b^nc^ma\space |\space n\geq 0,m>0\} $$

Dimostrare che la grammatica è effettivamente $LL(1)$

• Soluzione

1. Si consideri la seguente grammatica:

$$ S\rarr aS\space |\space Bc\space |\space \epsilon\\ B\rarr bB\space |\space c $$

1. Scrivere il linguaggio generato dalla grammatica tramite insiemi di stringhe
2. La grammatica è $LL(1)$? Giustificare la risposta
3. Il linguaggio generato dalla grammatica è regolare? Giustificare la risposta

• Soluzione

1. Determinare e disegnare un automa minimo per il linguaggio denotato dalla seguente espressione regolare:

$$ (a|b)(b|\epsilon)c^+ $$

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

• Soluzione