Docsity
Docsity

Prepara i tuoi esami
Prepara i tuoi esami

Studia grazie alle numerose risorse presenti su Docsity


Ottieni i punti per scaricare
Ottieni i punti per scaricare

Guadagna punti aiutando altri studenti oppure acquistali con un piano Premium


Guide e consigli
Guide e consigli


Riassunto Informatica - Computabilita', Appunti di Informatica

Breve riassunto su Macchine di touring, automi, complessita' computazionale, calcolo numetico

Tipologia: Appunti

2018/2019

Caricato il 17/06/2019

giacomo-cassanego
giacomo-cassanego 🇮🇹

4

(1)

4 documenti

1 / 4

Toggle sidebar

Questa pagina non è visibile nell’anteprima

Non perderti parti importanti!

bg1
1
RIPASSO DI INFORMATICA
Calcolo numerico: una branca della matematica applicata che risolve i modelli prodotti dall’analisi
matematica. Esso fornisce procedure di calcolo (algoritmi numerici) che, con un numero finito di
operazioni elementari, consentano di individuare la soluzione di un problema, eventualmente in forma
approssimata.
(es. Metodo Montecarlo, metodo)
EFFICIENZA ED EFFICACIA:
o EFFICIENZA: se veloce e parsimonioso di risorse
o EFFICACIA: risolve un problema fornendo i risultati attesi, cioè quando funziona
correttamente.
TIPOLOGIA DI ERRORI
o ERRORI SISTEMATICI: errori nelle misurazioni
o ERRORI COMPUTAZIONALI
TRONCAMENTO: dovuti all’interruzione di un procedimento di calcolo dopo un certo
numero di cicli
ARROTONDAMENTO: quando si arrotonda l’ultima cifra decimale, perdendo
precisione
RAPPRESENTAZIONE DEI NUMERI IN FLOATING POINT
o MANTISSA (normalizzata una cifra ≠ 0)
o ESPONENTE (polarizzato, all’esponente viene aggiunto un BIAS = 2e-1-1 (cifre esponente)
o SEGNO (+/-)
UNDERFLOW E OVERFLOW
o OVERFLOW: l’esponente è troppo grande, quindi non rappresentabile con i bit a disposizione
o UNDERFLOW: l’esponente è troppo piccolo
ERRORE RELATIVO E ASSOLUTO
o ERRORE ASSOLUTO: E = |x - f(x)| ≤ σ Bp-t, con 𝜎 = {1 𝑠𝑒 𝑓𝑙(𝑥)=𝑡𝑟(𝑥)
1
2 𝑠𝑒 𝑓𝑙(𝑥)=𝑎𝑟𝑟(𝑥)
o ERRORE RELATIVO: 𝐸=|𝑋−𝑓𝑙(𝑋)|
|𝑥|
CARDINALITA’ DEI NUMERI: L’insieme F dei numeri rappresentabili in virgola mobile in un computer
in base B, indicata anche con F (B, t, L, U)
2 (B-1) · Bt-1 (U-L+1) + 1 = 2 (Bt - Bt-1) (U - L +1) +1
PRECISIONE DI MACCHINA: definita come valore ε:
ε = σ B1-t
OPERAZIONI DI MACCHINA:
f(x) f(y) = f(f(x) * f(y)) = (f(x) * f(y)) (1+ ε)
Il risultato di una operazione di macchina è una ‘perturbazione’ (approssimazione) della
corrispondente operazione reale esatta. In altri termini, una operazione di macchina coincide con
l’approssimazione floating del risultato dell’operazione esatta.
AUTOMI:
o modello di calcolo molto semplice, adatto a descrivere un gran numero di problemi.
o Un automa può essere definito come un sistema caratterizzato dal fatto di essere:
dinamico, cioè evolve nel tempo,
invariante, cioè la risposta ad una sollecitazione (input) esterna è indipendente dal
tempo in cui è applicata
pf3
pf4

Anteprima parziale del testo

Scarica Riassunto Informatica - Computabilita' e più Appunti in PDF di Informatica solo su Docsity!

RIPASSO DI INFORMATICA

  • Calcolo numerico: una branca della matematica applicata che risolve i modelli prodotti dall’analisi matematica. Esso fornisce procedure di calcolo (algoritmi numerici) che, con un numero finito di operazioni elementari, consentano di individuare la soluzione di un problema, eventualmente in forma approssimata. (es. Metodo Montecarlo, metodo)
  • EFFICIENZA ED EFFICACIA: o EFFICIENZA: se veloce e parsimonioso di risorse o EFFICACIA: risolve un problema fornendo i risultati attesi, cioè quando funziona correttamente.
  • TIPOLOGIA DI ERRORI o ERRORI SISTEMATICI: errori nelle misurazioni o ERRORI COMPUTAZIONALI ▪ TRONCAMENTO: dovuti all’interruzione di un procedimento di calcolo dopo un certo numero di cicli ▪ ARROTONDAMENTO: quando si arrotonda l’ultima cifra decimale, perdendo precisione
  • RAPPRESENTAZIONE DEI NUMERI IN FLOATING POINT o MANTISSA (normalizzata→ una cifra ≠ 0) o ESPONENTE (polarizzato, all’esponente viene aggiunto un BIAS = 2e-^1 - 1 (cifre esponente) o SEGNO (+/-)
  • UNDERFLOW E OVERFLOW o OVERFLOW: l’esponente è troppo grande, quindi non rappresentabile con i bit a disposizione o UNDERFLOW: l’esponente è troppo piccolo
  • ERRORE RELATIVO E ASSOLUTO o ERRORE ASSOLUTO: E = |x - f(x)| ≤ σ Bp-t, con 𝜎 = {

1 2

o ERRORE RELATIVO: 𝐸 = |𝑋−𝑓𝑙(𝑋)| |𝑥|

  • CARDINALITA’ DEI NUMERI: L’insieme F dei numeri rappresentabili in virgola mobile in un computer in base B, indicata anche con F (B, t, L, U) 2 (B-1) · Bt-^1 (U-L+1) + 1 = 2 (Bt^ - Bt-^1 ) (U - L +1) +
  • PRECISIONE DI MACCHINA: definita come valore ε: ε = σ B^1 - t
  • OPERAZIONI DI MACCHINA: f(x) ⊛ f(y) = f(f(x) * f(y)) = (f(x) * f(y)) (1+ ε) Il risultato di una operazione di macchina è una ‘perturbazione’ (approssimazione) della corrispondente operazione reale esatta. In altri termini, una operazione di macchina coincide con l’approssimazione floating del risultato dell’operazione esatta.
  • AUTOMI: o modello di calcolo molto semplice, adatto a descrivere un gran numero di problemi. o Un automa può essere definito come un sistema caratterizzato dal fatto di essere: ▪ dinamico, cioè evolve nel tempo, ▪ invariante, cioè la risposta ad una sollecitazione (input) esterna è indipendente dal tempo in cui è applicata

▪ discreto nell'avanzamento, cioè il sistema può essere analizzato in precisi istanti di tempo (le trasformazioni avvengono discretamente) ▪ gli ingressi e le uscite sono in numero finito o FUNZIONE DI TRANSIZIONE: s(t+1) = f(s(t), i(t)) o FUNZIONE DI TRASFORMAZIONE: u(t) = g(s(t), i(t)) o AUTOMI A STATI FINITI: automa in cui l'insieme degli stati è composto da un numero finito di elementi. È definito come: A = {I, U, S, f, g} o Gli automi SENZA USCITE sono caratterizzati dal fatto che le uscite non vengono riportate né negli archi né all'interno degli stati ▪ Negli automi riconoscitori senza uscite si utilizzano gli stati finali per sapere se una sequenza è stata o meno riconosciuta.

  • MACCHINA DI TOURING : sono modelli matematici che offrono un potente strumento logico- concettuale per capire cosa si intende per elaborazione e per computabilità. MdT = (Q, X, Y, f, q 0 , F) Esse: ▪ sono essenziali per la teoria della computabilità, una disciplina dell'informatica; ▪ sono alla base della programmazione imperativa, introducendo i concetti di: locazione di memoria, assegnazione, iterazione; ▪ permettono di introdurre la definizione e i concetti di macchina astrato. o COMPOSTA DA: ▪ Nastro ▪ Alfabeto di lavoro (Ingresso/uscita) ▪ TLS ▪ Unità di controllo ▪ Unità logica
  • MACCHINA DI TOURING UNIVERSALE o una MdTU può eseguire qualsiasi algoritmo (macchina universale). o Contiene 2 nastri ▪ La prima contiene le quintuple nella MdT da simulare ▪ La seconda contiene i dati della MdT da simulare o TESI DI CHURCH: un qualsiasi problema è calcolabile se è possibile trovare una MdT che lo risolva, cioè se è Turing-calcolabile.
  • si valuta la condizione di arresto: |(Qi - Qi-1)/Qi | ≤ ε OR i ≥ MAXITER se la condizione di arresto non è verificata si riparte da b). o CALCOLO DELLE RADICI DI UNA FUNZIONE (bisezione) ▪ Continua in [a, b], derivabile in ]a, b[, ▪ f(a)*f(b) < 0, allora esiste almeno uno zero in [a, b] ▪ L’algoritmo di calcolo si può descrivere come segue:
    1. Dividiamo l'intervallo I0 = [a, b] a metà, individuando il punto medio x 0 = (a + b)/2 (K ← 0; xk = x 0 )
    1. Se f(xk) = 0, la radice è trovata: xk = ξ, altrimenti o 2.1 Se f(a) * f(xk) < 0, allora poniamo b = xk o 2.2 Se f(a) * f(xk) > 0, allora poniamo a = xk o 2.3 (K ← K+1) Dividiamo il nuovo intervallo [a, b] a metà, individuando il nuovo punto medio xk = (a + b)/
    1. Si ritorna al test in 2.