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.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
-
LFA - Linguaggi Formali Autonomi
-
Automi e Linguaggi
-
Appunti Automi e Linguaggi
-
Appunti di Linguaggi e Modelli Computazionali