Esercizi Grammatiche

Svolgere due esercizi da ciascun gruppo: “Analizzatori lessicali”, “Analizzatori sintattici”. La coppia di esercizi da svolgere in ciascun gruppo è determinato dalla seguente funzione Haskell:

generaraCoppia nEsercizi matricola = (primo, secondo) where 
  primo = matricola `mod` nEsercizi + 1
  secondo = (matricola `mod` (nEsercizi - 3) + primo + 1) `mod`  nEsercizi + 1

dove l’argomento “nEsercizi” deve essere istanziato con il numero di esercizi del gruppo, mentre l’argomento “matricola” è la propria matricola.

Nota. La descrizione delle grammatiche all’interno degli esercizi è informale e a volte ambigua. Nel risolvere gli esercizi, le grammatiche vanno formalizzate e quindi le ambiguità devono essere risolte. Questo può essere svolto in vari modi, tutti sono considerati accettabili.

Analizzatori lessicali

Utilizzando, a scelta, uno degli applicativi Lex, Flex o Alex, realizzare degli analizzatori lessicali che risolvano due dei seguenti problemi:

  1. Riconoscere in un file di testo le seguenti classi di lessemi

Per ogni lessema riconosciuto, stampare una coppia (classe, valore).

  1. Rimuovere i commenti da un testo Haskell. I commenti Haskell, hanno due possibili formati

Si cerchi inoltre di risolvere il problema di riconoscere coppie di commenti innestati, ossia la stringa {- aa {- bb -} cc -} viene riconosciuta come un singolo commento e non come il commento {- aa {- bb -} seguito dalla stringa cc -}

  1. Rimuovere i commenti da un programma Java, sia quelli su una singola linea, marcati da //, che quelli disposti su più linee, marcati da /* e */.

Si cerchi inoltre di risolvere il problema di riconoscere coppie di commenti innestati, ossia la stringa /* aa /* bb */ cc */ viene riconosciuta come un singolo commento e non come il commento /* aa /* bb */ seguito dalla stringa cc */

  1. Selezionare, in un file di testo, le stringhe di caratteri che rappresentano un numero in notazione romana. Solo i numeri romani devo essere stampati in uscita, separati da uno spazio, la restante parte del testo viene eliminata.

  2. Selezionare in un file di testo le stringhe di caratteri che rappresentano un numero multiplo di quattro, nell’usuale notazione decimale. Solo in numeri multipli di 4 vengono stampati in uscita, separati da uno spazio, la restante parte del testo viene eliminata. Il controllo di divisibilità deve essere implementato usando opportune espressioni regolari, e non l’operazione di divisione-resto.

  3. Selezionare in un file di testo le stringhe di caratteri che rappresentano in notazione binaria un numero multiplo di 3. Solo in numeri multipli di 3 vengono stampati in uscita, separati da uno spazio, la restante parte del testo viene eliminata. Il controllo di divisibilità deve essere implementato usando opportune espressioni regolari, e non l’operazione di divisione-resto.

  4. Riconoscere, in un file di testo, le sequenze di caratteri che rappresentano un numero in uno dei seguenti formati:

    Per ciascuna sequenza riconosciuta, stampare in uscita: la sequenza stessa, il tipo di numero rappresentato, il numero di cifre usate nella rappresentazione.

  5. Riconoscere stringhe di cifre e caratteri, che rappresentano i numeri in uno dei seguenti formati:

    Per ciascuna stringa riconosciuta stampare in uscita il formato del numero riconosciuto, il suo valore decimale.

  6. Ricevuto in input una sequenza di sostantivi nelle lingua italiana, trasformare al plurale i sostantivi femminili e al singolare quelli maschili. Il programma può applicare una semplice regola generale per catalogare un sostantivo come femminile-maschile, singolare-plurale ma deve riuscire a gestire almeno una decina di eccezioni a questo regola (es. mano, tema, radio, parentesi, uomo).

  7. Ricevuto in input una sequenza di verbi trasformi i verbi all’infinito in verbi al participio presente e i verbi al participio passato in verbi all’infinito. Le altre coniugazioni restano inalterate. Si supponga che i verbi siano quasi tutti regolari ma si arricchisca il programma in modo sia in grado di trasformare correttamente 5 verbi irregolari a scelta.

Analizzatori sintattici

Utilizzando Lex-Yacc o Alex-Happy, costruire una coppia di analizzatori, uno lessicale e uno sintattico, che insieme siano capaci di riconoscere i seguenti linguaggi:

  1. Il linguaggio formato da espressioni aritmetiche scritte in notazione polacca inversa e costruite a partire dalle costanti intere e le 4 operazioni aritmetiche. L’analizzatore deve restituire l’albero della struttura sintattica dell’espressione ricevuta in ingresso.

  2. Il linguaggio formato da espressioni aritmetiche scritte in notazione polacca diretta e costruite a partire dalle costanti intere e le 4 operazioni aritmetiche. L’analizzatore deve valutare l’espressione ricevuta in ingresso.

  3. Il linguaggio formato da espressioni aritmetiche costruite a partire da:

    L’ordine di priorità tra i vari operatori è definito in questo modo: per le operazioni aritmetiche vale l’ordine usale, l’esponente ha priorità sulle funzioni trigonometriche che a loro volta hanno priorità sul prodotto. Tutte le operazioni sono associative a sinistra, meno l’esponente che associa a destra.

    L’analizzatore deve restituire l’albero della struttura sintattica dell’espressione ricevuta in ingresso.

  4. Il linguaggio delle espressioni aritmetiche nella forma usata nelle scuole medie, ossia

    L’analizzatore deve controllare che le parentesi siano inserite secondo le usuali regole: parentesi tonde più interne, seguite dalle quadre, e poi graffe. L’analizzatore deve inoltre valutare l’espressione in ingresso.

  5. Un frammento del linguaggio Java formato da:

    L’analizzatore deve restituire l’albero della struttura sintattica del comando ricevuto in ingresso.

  6. Sequenze di espressioni in linguaggio Haskell formate da:

    L’analizzatore deve restituire gli alberi sintattici delle espressioni ricevute in ingresso.

  7. Sequenze di espressioni in linguaggio Haskell formate da:

    L’analizzatore deve valutare le espressioni ricevute in ingresso.

  8. Sequenze di espressioni in linguaggio Scheme formate da:

    L’analizzatore deve restituire gli alberi sintattici delle espressioni ricevute.

  9. Sequenze di espressioni in linguaggio Scheme formate da:

    L’analizzatore deve valutare le espressioni ricevute in ingresso.