Questo sito utilizza solo cookie tecnici, propri e di terze parti: continuando la navigazione ne accetti l'uso. Acconsento Vorrei maggiori informazioni

Naviga nel sito del Dipartimento:

Naviga nel sito della Didattica:

Dettagli sull'Insegnamento per l'A.A. 2010/2011

Le informazioni che state leggendo si riferiscono all'anno accademico 2010/2011. Per questo molti collegamenti non sono disponibili e i dati potrebbero essere incompleti. Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo. Per consultare le informazioni relative ad altri anni accademici, usa la lista in fondo a questa pagina.

A. Accademico:

2010/2011

Nome:

Fondamenti dell'informatica II / Foundations of Computer Science II

Tipo:

Corso singolo

Informazioni

Codice:

F1I023

SSD:

INF/01

Crediti:

: 6 CFU (b)

Periodo:

2° semestre

Erogazione:

Laurea Magistrale in Informatica curriculum SDRC Opzionale
Laurea Magistrale in Informatica curriculum ASSC Opzionale
Laurea Magistrale in Informatica curriculum GSEEM Opzionale

Lingua:

Italiano

Docenti:

Sergio Orefice

Sillabo

1. Nozioni centrali della teoria dei linguaggi formali. Gerarchia di Chomsky
2. Automi a stati finiti non deterministici. Automi a stati finiti deterministici. epsilon-chiusura
3. Espressioni regolari. Teorema di Kleene . Pumping Lemma per linguaggi regolari. Proprietà dei inguaggi regolari
4. Grammatiche context-free. Automi a pila. Linguaggi liberi dal contesto e proprietà. Forma Normale di Chomsky. Pumping Lemma per linguaggi liberi dal contesto. Algoritmo CYK
5. Linguaggi formali multidimensionali e visuali. Modelli sintattici
6. Grammatiche posizionali context-free. Analisi sintattica di linguaggi non lineari

Testi di riferimento

Hopcroft, Motwani, Ullman, Automi, Linguaggi e calcolabilità , Addison-Wesley. Riferimento per i crediti 1-4
Hopcroft, Motwani, Ullman, Introduction to Automata Theory, Languages and Computation , Addison-Wesley. Riferimento per i crediti 1-4
Materiale fornito dal docente Riferimento per i crediti 5-6

Risorse Internet

Homepage:

http://www.di.univaq.it/orefice/fond.html

Aggiornamenti alla pagina del corso

Le informazioni sulle editioni passate di questo corso sono disponibili per i seguenti anni accademici:

Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo.

Ultimo aggiornamento delle informazioni sul corso: 26 maggio 2011, 11:06

Il DISIM

Il DISIM svolge la sua attivà di formazione e ricerca nell'ambito della matematica pura e delle sue applicazioni e nell'ambito delle aree scientifiche e ingegneristiche che caratterizzano il mondo dell'ICT.

Link Rapidi

Come Raggiungerci

Via Vetoio, Coppito, 67100 L'Aquila

disim

sad

strutture.univaq

+39 0862 433002

+39 0862 433180 (fax)