PROGRAMMAZIONE
Il programma deve risolvere il problema ed è scritto per un esecutore che lo comprende. Bisogna trovare lo strumento giusto per farlo.devo adattare
il problema allo strumento che ho.
Il programmatore di un tempo si occupava di tutto: soluzione, programmazione, uso. SDK, tool, AI automatizzano ma servono comunque
competenze di sviluppo e di inventiva. Non è più considerato factotum ma parte di un team, è uno specialista verticale.
—> silos di competenze del waterfall e processi DevOps.
FORMALIZZAZIONE DLE LINGUAGGIO:
Quando si vuole scrivere un programma si deve usare un linguaggio formale, ovvero, parlando informalmente, un insieme di simboli
convenzionare di regole per combinare questi simboli in degli enunciati.
Possiamo distinguere queste regole su 3 livelli:
-sintattico: ovvero il modo in cui i simboli possono essere combinati e, quindi, se una parola (nel senso comune del termine) è scritta in modo
corretto.
-semantico: le modalità con cui ogni simbolo e enunciato viene legato a un significato: ci permettono di capire se un enunciato ha un significato.
-pragmatico: si riferisce invece alle implicazioni pratiche dell’enunciato.
alfabeto: viene definito come un insieme finito e non vuoto di simboli o caratteri. Volendo proporre un esempio di un alfabeto, potremmo
portare il binario. in cui abbiamo un alfabeto = (0, 1), dalla quale posso generare una stringa (o parola). Esiste la possibilità di generare una stringa
che non na nessun carattere: questa si chiama stringa vuota e si indica con E. La stringa è quindi una sequenza finita di simboli. Posso parlare di
nozioni di lunghezza (cardinalità di |s|). Si parla di concatenazione ovvero l’unire una stringa a ad una stringa b per ottenere ab.
la Star di Kleene (o anche chiusura di Kleene) che viene indicata con * è l'insieme di tutte le possibili stringhe generabili all'interno di un
alfabeto . Comprende anche E.
la Chiusura positiva che viene indicata, in maniera piuttosto intuitiva, con + è l'insieme di tutte le possibili stringhe generabili all’interno di
un alfabeto , eccezion fatta per E.
Quindi un linguaggio formale L si definisce come un sottoinsieme di stringhe generate su un alfabeto
L’’obiettivo è trovare le regole necessarie:
-cardinalità: numero di stringhe
-concatenazione
-potenza n-esima = insieme delle stringhe concatenate con possibili ripetizioni
-chiusura L+ = con n>0
-chiusura star = comprende anche la parola vuota.
I Simboli (terminali) o Token (anche se quest'ultima espressione ha un'accezione più pratica) si definiscono come gli atomi che costituiscono un
enunciato in un linguaggio.
-gerarchia: caratteri —> simboli terminali —> stringhe —> linguaggio
un codice è un linguaggio in cui ogni parola generata è univocamente interpretabile (è solo quella sequenza di parole che genera quella frase).
Se rendiamo ad esempio un linguaggio C = (1, 10) si tratta di un codice: in qualunque modo
disponiamo i simboli, possiamo interpretarli univocamente, “11010110”, per esempio, viene
interpretato come “1”, “10”, “10”, “1”, “10”.
C' = (bab, aba, ab) invece non è un codice. Questo perché se, ad esempio, prendiamo la stringa “abababab” può essere interpretata come “ab”, “ab”,
“ab”, “ab”, sia come “ab”, “aba”, “bab”.
Prendendo una generica parola w e * e un linguaggio L, esistono due possibilità:
-w e L (w rappresenta un enunciato nel linguaggio L)
-w non e L (w non rappresenta un enunciato nel linguaggio L)
Per capire se appartiene o no esistono due metodi:
-approccio riconoscitivo: si tratta di riconoscere se una parola appartiene a un linguaggio mediante una procedura algoritmica e per fare
questo si sfrutta un automa a stati finiti (o macchina a stati).
-approccio generativo: si parte dalle regole, da una grammatica del linguaggio, e si cerca di ricostruire la stringa data in input: se si riesce a
farlo, allora la parola è parte del linguaggio, altrimenti no.
—> proprietà del programma:
-sintassi
-verifica proprietà
-traduzione da un linguaggio ad un altro
È importante tenere conto anche del contesto.
AUTOMI A STATI FINITI
Si tratta di modelli matematici che dato un ingresso, producono un’uscita. È importante evidenziare che il numero di input e di output sono
discreti.
Il sistema si trova in uno stato che può cambiare con l’ingresso di un input passando dallo stato iniziale allo stato corrente e il passaggio si chiama
transizione.
È importante perchè modella sistemi complessi. Riconosce un linguaggio come una black box (ingresso = parole, uscite = valore tra o e 1) ovvero se
viene accettata o no). Si muove di stato in stato per capire.
In una parola ogni lettera è un input, riconosco la parola grazie alla sequenza di lettere.
∑
∑
∑
∑
∑
∑
