Estratto del documento

Ciao! Sono Federico Tabellini

Ciao! Sono Federico Tabellini, l'autore di questi appunti.

Siccome mi rendo conto che a volte la mia scrittura può non essere chiara e immediata ti lascio la mia mail dove puoi contattarmi per chiedermi di trascriverti una frase/parola che non riesci a leggere.

Indica nell'oggetto il nome della materia oppure mandami uno screen specificando la parola.

Non appena potrò risponderò alla tua mail.

fede.tabellini@gmail.com

NB: Non spiego concetti, traduco e basta.

Un buon quaderno di appunti deve comunque essere accompagnato da studio e pazienza.

Accetto consigli / critiche (solo se costruttive).

Spero che questi appunti ti aiutino.

Buono studio.

Ciao! Sono Federico Tabellini

Ciao! Sono Federico Tabellini, l'autore di questi appunti.

Siccome mi rendo conto che a volte la mia scrittura può non essere chiara e immediata ti lascio la mia mail dove puoi contattarmi per chiedermi di trascriverti una frase/parola che non riesci a leggere.

Indica nell'oggetto il nome della materia oppure mandami uno screen specificando la parola.

Non appena potrò risponderò alla tua mail.

fede.tabellini@gmail.com

NB: Non spiego concetti, traduco e basta.

Un buon quaderno di appunti deve comunque essere accompagnato da studio e pazienza.

Accetto consigli/critiche (solo se costruttive).

Spero che questi appunti ti aiutino.

Buono studio.

Linguaggi formali e automi

Introduzione

Insiemi di protocolli che permettono la comunicazione.

Esempi:

  • Linguaggi naturali → comunicazione tra individui.
  • Linguaggi di programmazione → comunicazione uomo macchina.
  • Segnaletica stradale.
  • Codice Morse.

Come insegnare un linguaggio?

Prima spieghiamo il lessico: (forniamo un vocabolario).

Spiegazione sintattica (come formare frasi corrette): (forniamo regole grammaticali).

Formale: aspetti che permettono di dare specifiche espressioni di un linguaggio.

Pro: poter tradurre i linguaggi in maniera automatica (senza intervento diretto dell’uomo).

Esempio: compilatori.

Verificano sintassi e lessico di un programma e stabiliscono la traduzione in linguaggi macchina (.exe).

Linguaggi naturali

Linguaggi naturali: sono più complessi e si dividono in:

  • Parlato.
  • Viene usato vocabolaria pre.
  • Vengono usate parole.
  • Si creano compiti programmi (verbi, soggetti, articoli).
  • Scritto.
  • Messaggi: sequenza di caratteri (compresi spazi e punteggiatura).

Sottoparagrafo

Sottoparagrafo: consiste in un sottoinsieme di un linguaggio (numero di messaggi predefinito) per condurre trattabili in maniera automatica.

Esempio: traduttori automatici (insoddisfacenti per la maggior parte dei casi).

Tecniche per la specifica formale dei linguaggi

Per la specifica formale dei linguaggi si usano due tecniche:

  • Sistemi generativi ➔ insiemi di regole per scrivere frasi di senso compilato (vocaboli e grammatica regole) generando tutte le possibili frasi del linguaggio es: grammatiche.
  • Sistemi riconoscitivi ➔ macchina che stabilisce quali frasi sono corrette o meno (output input/macchina) dato in input un messaggio es: automi: (sistema in grado di compiere operazioni predefinite).

Concetti centrali nella teoria dei linguaggi formali

Concetti centrali nella teoria dei linguaggi formali:

Alfabeto: insieme di simboli che ci permettono di costruire le parole di un linguaggio.

Σ = {d1, d2, d3 ... dk} ➔ k = numero di simboli di un alfabeto.

Parola su Σ: sequenza di simboli di Σ distribuiti per posizione.

Es: Σ = {0,1} ➔ parole possibili: ϖ2 = aa aϖ = a aϖϖ = aϖϖ Σ = {0,1,4} Σ = {A,C,T,G} ➔ parola di circa 106 simboli di Σ (alfabeto "DNA").

→ Una parola (ω) è un numero finito di simboli.

Lunghezza di una parola: numero di simboli che compongono la parola.

ω = ϖϖϖ ➔ |ω| = 2.

Una parola con lunghezza = 0 è definita parola vuota (ε).

Σ* = insieme delle parole componibili dallo Σ compresa ε.

Σ+ = insieme delle parole componibili dallo Σ esclusa ε (⇔ Σ+ = Σ*\{ε}).

Prodotto di giustapposizione: concatenazione di più parole per formare una frase.

Si indica con:

Esempio.

Anteprima
Vedrai una selezione di 15 pagine su 69
Linguaggi formali e automi Pag. 1 Linguaggi formali e automi Pag. 2
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 6
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 11
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 16
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 21
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 26
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 31
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 36
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 41
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 46
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 51
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 56
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 61
Anteprima di 15 pagg. su 69.
Scarica il documento per vederlo tutto.
Linguaggi formali e automi Pag. 66
1 su 69
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche MAT/05 Analisi matematica

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher Sbr3giuz di informazioni apprese con la frequenza delle lezioni di Linguaggi formali autonomi e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università degli Studi di Milano o del prof Palano Beatrice.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community