Si consideri la seguente definizione regolare con i relativi token associati:

$$ d_1\rarr abaa\space T1\\ d_2\rarr b^*a^+\space T2\\ d_3\rarr a^b^+a\space T3\\ d_4\rarr a^+b^\space T4 $$

  1. Si scriva la sequenza di token (e dei relativi lessemi) emessa da un analizzatore lessicale che usa le due regole di longest-match e first-one-listed nell’analisi della stringa di input ababaabba$. Si giustifichi la risposta facendo vedere i passi seguiti per ogni token.

Si consideri la seguente grammatica:

$$ S\rarr pA\space |\space qB\space |\space C\\ A\rarr pA\space |\space \epsilon\\ B\rarr qB\space |\space D\\ C\rarr pC\space |\space qC\space |\space D\\ D\rarr rD\space |\space p $$

  1. Si scriva il linguaggio generato come insieme di stringhe
  2. La grammatica è LL(1)? Giustificare la propria risposta facendo vedere tutti i passi che sono stati eseguiti per arrivare alla stessa

Si consideri la seguente grammatica:

$$ S\rarr pSqq\space |\space pAq\\ A\rarr rAq\space |\space \epsilon $$

  1. Si scriva il linguaggio generato come insieme di stringhe
  2. la grammatica è LR(1)? Giustificare la propria risposta facendo vedere tutti i passi che sono stati seguiti per arrivare alla stessa
  3. Dare una definizione guidata alla sintassi (SDD) associata alla grammatica data che calcoli, per il simbolo iniziale, un attributo $v$ intero uguale a $\#q-\#p$, dove
  4. Disegnare l’albero annotato con i valori degli attributi definiti nell’SDD per la stringa $ppprqqqqqq$

Ad esempio, per la stringa $ppprqqqqqq$ si ha $v=6-3=3$