Differenze tra le versioni di "Linguaggi formali ed automi"

Da WikiDsy.
(→‎Giudizio sul corso)
 
(18 versioni intermedie di 2 utenti non mostrate)
Riga 1: Riga 1:
 
{{introduzione}}
 
{{introduzione}}
 +
== Turni ==
 +
{{Turni2|(Palano)|(Bertoni)}}
 +
== A.A. passati ==
  
−
*'''[[Linguaggi formali ed automi Turno 1]]
+
=== 2005/06 ===
−
*'''[[Linguaggi formali ed automi Turno 2]]
+
{{Annipassati|2005-2006|(Beatrice Palano)| Turno 1}}
 +
 
 +
== Informazioni Generali==
 +
Linguaggi formali ed automi ,è un insegnamento fondamentale del secondo anno per il corso di laurea in Informatica. Può essere inserito nel piano di studi, come complementare esterno al corso di laurea, anche dagli studenti dei corsi di Informatica per le telecomunicazioni, Comunicazione digitale e dagli studenti delle lauree specialistiche che non hanno sostenuto l'esame durante la triennale.
 +
 
 +
 
 +
 
 +
{| border=1 cellspacing=0 cellpadding=1
 +
| Nome dell'insegnamento || '''Linguaggi formali e automi'''
 +
|-
 +
| Corsi di laurea || '''Informatica'''
 +
|-
 +
| Categoria || '''Fondamentale'''
 +
|-
 +
| Anno || '''Secondo'''
 +
|-
 +
| Semestre || '''Secondo'''
 +
|-
 +
| Crediti || '''6.0 CFU'''
 +
|-
 +
| Turni || '''2'''
 +
|-
 +
| Settore disciplinare || '''INF/01 Informatica'''
 +
|-
 +
| Ore di didattica || '''50'''
 +
|-
 +
| Frequenza || '''Consigliata'''
 +
|-
 +
| Scheda del corso || http://www.dico.unimi.it/occorrenza.php?z=0;id_occ=1057
 +
|}
 +
 
 +
 
 +
 
 +
 
 +
=== Descrizione ===
 +
Il corso è dedicato alla teoria dei linguaggi formali e degli automi.
 +
 
 +
Un linguaggio formale è un linguaggio (di qualunque tipo) che può essere descritto per mezzo di precise regole matematiche, utilizzando una scrittura simbolica convenzionale.
 +
 
 +
Un automa (o macchina astratta) è un modello utilizzato per descrivere e rappresentare un'entità che assume nel tempo diversi stati e configurazioni secondo una precisa sequenza (macchina a stati finiti). In altre parole è un dispositivo astratto che stabilisce una precisa relazione tra un dato di ingresso e un dato di uscita.
 +
 
 +
Gli automi sono strettamente legati ai linguaggi formali, in quanto consentono di definire algoritmi riconoscitivi, cioè procedure in grado di riconoscere le parole di un linguaggio. Gli automi, più in generale, sono utilizzati per rappresentare una qualsiasi procedura a stati finiti (o algoritmo o computazione). Gli automi sono utili anche per rappresentare modelli astratti di calcolatori.
 +
 
 +
La teoria degli automi e dei linguaggi formali è alla base della descrizione dei linguaggi di programmazione e delle macchine calcolatrici, nonché una delle principali branche dell'informatica.
 +
 
 +
Il suo studio è utile per la costruzione di compilatori, per la progettazione di nuovi linguaggi di programmazione e, in generale, per descrivere le caratteristiche di un linguaggio esistente, nonché per studiare e realizzare modelli astratti di calcolatore.
 +
 
 +
Molti dei concetti esposti possono essere approfonditi nel corso complemantare di Linguaggi e traduttori.
 +
 
 +
=== Crediti Formativi ===
 +
il superamento di quest'esame da diritto a '''6Cf'''
 +
 
 +
=== Programma Generale ===
 +
 
 +
*Linguaggi regolari e linguaggi liberi da contesto
 +
*Automi deterministici e non deterministici
 +
*Teorema di Kleene
 +
*Espressioni regolari
 +
*Forma normale di Chomsky
 +
*Formalismi BNF
 +
*Macchina di Turing
 +
*Il linguaggio XML.
 +
 
 +
=== Modalità d'esame ===
 +
 
 +
E' prevista una sola '''prova orale''' a fine corso.
 +
 
 +
=== Risorse esterne ===
 +
 
 +
* Materiale didattico sul web:
 +
** http://dida.fauser.edu/sistemi/sistem3/automi.htm
 +
** http://www.dis.uniroma1.it/~ausiello/InfoTeoRM/1.Richiami-05-06.pdf
 +
** http://www-natali.deis.unibo.it/Linguaggi/Linguaggi99/Materiale/LinguaggiEdAutomi/ling98automi.htm
 +
** http://informatica.uniparthenope.it/htm/automilinguaggi.htm
 +
** http://compass2.di.unipi.it/didattica/share/corsi/corso.asp?id=2160&cds=inf&anno=2005
 +
* Articoli utili da [http://it.wikipedia.org wikipedia]:
 +
** http://it.wikipedia.org/wiki/Automa_(informatica)
 +
** http://it.wikipedia.org/wiki/Linguaggio_formale_%28matematica%29
 +
** http://it.wikipedia.org/wiki/Grammatica_formale
 +
** http://it.wikipedia.org/wiki/Automa_a_stati_finiti
 +
* Programmi dei precedenti anni accademici:
 +
** [http://www.dico.unimi.it/files/occorrenza/programma/programma387804.pdf Programma A.A. 2003/2004]
 +
** [http://www.dico.unimi.it/files/occorrenza/programma/programma404976.pdf Programma A.A. 2002/2003]
  
−
== Informazioni ==
 
  
 
=== Giudizio sul corso ===
 
=== Giudizio sul corso ===
 
{{Giudizio}}
 
{{Giudizio}}
−
{{Giudizio/Interesse|3}}
+
{{Giudizio/Interesse|3|2}}
−
{{Giudizio/Difficoltà|2}}
+
{{Giudizio/Difficoltà|2|2}}
−
{{Giudizio/Ore|3}}
+
{{Giudizio/Nonfrequentanti|3|3}}
 +
{{Giudizio/Ore|3|3}}
  
 
[[Categoria:Corsi Informatica]][[Categoria:Corsi Secondo Semestre]]
 
[[Categoria:Corsi Informatica]][[Categoria:Corsi Secondo Semestre]]

Versione attuale delle 13:24, 24 set 2007

Disambigua compass.PNG
 Questa è una pagina di introduzione al corso: contiene i turni, le modalità d'insegnamento, alcune informazioni generali ed eventuali giudizi sul corso in questione. Se sei giunto qui passando da un link, puoi tornare indietro e correggerlo in modo che punti direttamente alla voce appropriata.

Turni

A.A. passati

2005/06

Informazioni Generali

Linguaggi formali ed automi ,è un insegnamento fondamentale del secondo anno per il corso di laurea in Informatica. Può essere inserito nel piano di studi, come complementare esterno al corso di laurea, anche dagli studenti dei corsi di Informatica per le telecomunicazioni, Comunicazione digitale e dagli studenti delle lauree specialistiche che non hanno sostenuto l'esame durante la triennale.


Nome dell'insegnamento Linguaggi formali e automi
Corsi di laurea Informatica
Categoria Fondamentale
Anno Secondo
Semestre Secondo
Crediti 6.0 CFU
Turni 2
Settore disciplinare INF/01 Informatica
Ore di didattica 50
Frequenza Consigliata
Scheda del corso http://www.dico.unimi.it/occorrenza.php?z=0;id_occ=1057



Descrizione

Il corso è dedicato alla teoria dei linguaggi formali e degli automi.

Un linguaggio formale è un linguaggio (di qualunque tipo) che può essere descritto per mezzo di precise regole matematiche, utilizzando una scrittura simbolica convenzionale.

Un automa (o macchina astratta) è un modello utilizzato per descrivere e rappresentare un'entità che assume nel tempo diversi stati e configurazioni secondo una precisa sequenza (macchina a stati finiti). In altre parole è un dispositivo astratto che stabilisce una precisa relazione tra un dato di ingresso e un dato di uscita.

Gli automi sono strettamente legati ai linguaggi formali, in quanto consentono di definire algoritmi riconoscitivi, cioè procedure in grado di riconoscere le parole di un linguaggio. Gli automi, più in generale, sono utilizzati per rappresentare una qualsiasi procedura a stati finiti (o algoritmo o computazione). Gli automi sono utili anche per rappresentare modelli astratti di calcolatori.

La teoria degli automi e dei linguaggi formali è alla base della descrizione dei linguaggi di programmazione e delle macchine calcolatrici, nonché una delle principali branche dell'informatica.

Il suo studio è utile per la costruzione di compilatori, per la progettazione di nuovi linguaggi di programmazione e, in generale, per descrivere le caratteristiche di un linguaggio esistente, nonché per studiare e realizzare modelli astratti di calcolatore.

Molti dei concetti esposti possono essere approfonditi nel corso complemantare di Linguaggi e traduttori.

Crediti Formativi

il superamento di quest'esame da diritto a 6Cf

Programma Generale

  • Linguaggi regolari e linguaggi liberi da contesto
  • Automi deterministici e non deterministici
  • Teorema di Kleene
  • Espressioni regolari
  • Forma normale di Chomsky
  • Formalismi BNF
  • Macchina di Turing
  • Il linguaggio XML.

Modalità d'esame

E' prevista una sola prova orale a fine corso.

Risorse esterne


Giudizio sul corso

I giudizi di seguito espressi sono il parere personale degli studenti,
e potrebbero non rispecchiare il parere medio dei frequentanti.
Non vi è comunque alcun intento di mettere alla gogna i docenti del corso!
Interesse della materia (da 1 a 5 - aiuto)
_3_2__________________
Difficoltà del corso (da 1 a 5 - aiuto)
_2_2__________________
Difficoltà del corso per non frequentanti (da 1 a 5 - aiuto)
_3_3__________________
Ore di studio richieste (da 1 a 5 - aiuto)
_3_3__________________
Estratto da "https://wiki.dsy.it/index.php?title=Linguaggi_formali_ed_automi&oldid=17749"