Contact

Diario delle lezioni

  • Concetti di alfabeto, stringa, linguaggio, grammatica.
  • Derivazione di una stringa. Linguaggi generati da una grammatica. Richiami alla tecnica di dimostrazione per induzione.
  • [Esercitazione]: Esempi di derivazione. Esempi di generazione di linguaggi. 
  • Classificazione di grammatiche. Classificazione di Linguaggi.
  • [Esercitazione]: Esempi di classificazione di grammatiche.
  • Grammatiche con epsilon-produzioni. Forma BNF per la specifica di grammatiche.
  • Automi a stati finiti deterministici. Espressioni Regolari
  • Automi a stati finiti non deterministici, ed automo con epsilon-prduzioni.
  • Equivalenza tra linguaggi di tipo 3, linguaggi accettati da automi deterministici, linguaggi accettati da automi non deteterministici, e linguaggi accettati da automi con epsilon-prduzioni.
  • [Esercitazione]: Esempi di espressioni regolari, grammatiche di tipo 3, ed automi.
  • Riscritture di grammatiche con epsilon-produzioni. Specifica BNF di un linguaggio di programmazione. 
  • Grammatica BNF di un linguaggio di programmazione orientato agli oggetti.
  • Automi a pila, e riconoscimento di linguaggi di tipo 2.
  • Minimizzazione di automi a stati finiti, ed esempi.
  • Determinismo negli automi a pila. Esempi di automi a pila.

.