Sei sulla pagina 1di 5

1.

Linguaggi
1.1.Linguaggio
1.2.Stringa
1.3.Alfabeto
1.4.Operazioni stringhe
1.4.1.Concatenazione
1.4.2.Inverso
1.4.3.Lunghezza stringa
1.4.4.Lunghezza concatenazione
1.5.Stringa vuota
1.6.Sottostringa
1.7.Prefisso e suffisso
1.8.Potenza
1.9.Operazione *
2.0.Operazione +
2.1.Linguaggi estensionali
2.2.Linguaggio infinito
2.3.Somma unaria
2.4.Insieme vuoto
2.5.Operazioni sui linguaggi
2.5.1.Uguali agli insiemi
2.5.2.Complemento
2.5.3.Inverso
2.5.4.Concatenazione
2.5.5.Potenza
2.6.Star*
2.7.Chiusura

2.DFA
2.1.Accettare/rifiutare una stringa/linguaggio
2.2.Definizione
2.2.1.Insieme degli stati
2.2.2.Alfabeto di input
2.2.3.Funzione di transizione
2.2.3.1.Tabella
2.2.3.2.Estesa
2.2.4.Stato iniziale
2.2.5.Insieme stati finali
2.3.Linguaggio di un DFA
2.3.1.Accettato/rifiutato
2.3.2.Vuoto/tutte le stringhe
2.4.Linguaggi regolari

3.NFA
3.1.Accettare/rifiutare una stringa/linguaggio
3.2.Transizione lambda
3.3.Definizione
3.3.1.Insieme degli stati
3.3.2.Alfabeto di input
3.3.3.Funzione di transizione
3.3.3.1.Tabella
3.3.3.2.Estesa
3.3.4.Stato iniziale
3.3.5.Insieme degli stati finali
3.4.Grado di non determinismo di un nodo/automa
3.5.Linguaggio accettato
3.6.Equivalenza tra macchine
3.6.1.Teorema
3.6.2.Da NFA a DFA
3.6.3.Procedura generale
3.6.3.1.Step 1
3.6.3.2.Step 2
3.6.3.3.Step 3
3.6.3.4.Step 4
3.6.3.5.Lemma
3.6.3.6.Dimostrazione per induzione
3.6.3.6.1.Base induzione
3.6.3.6.2.Ipotesi induttiva
3.6.3.6.3.Step induttivo

4.Espressioni regolari
4.1.Definizione
4.2.Linguaggi associati alle espressioni regolari
4.3.Operazioni
4.3.1.Unione
4.3.2.Concatenazione
4.3.3.Star*
4.3.4.Inverso
4.3.5.Complemento
4.3.6.Intersezione
4.3.7.Chiusura rispetto all'intersezione
4.3.7.1.Intersezione automata
4.4.Linguaggi generati da espressioni regolari
4.4.1.Teorema
4.4.2.Base induzione
4.4.3.Ipotesi induttiva
4.4.4.Passo induttivo
4.5.Presentazione standard di un linguaggio regolare
4.5.1.Espressioni regolari

5.Grammatiche regolari
5.1.Definizione
5.2.Grammatica lineare
5.3.Grammatica non lineare
5.4.Grammatica lineare destra
5.5.Grammatica lineare sinistra
5.6.Grammatiche regolari
5.7.Grammatiche regolari generano linguaggi regolari
5.7.1.Teorema
5.7.2.Caso della grammatica
5.7.3.Dimostrazione

6.Linguaggi non-regolari e pumping lemma


6.1.Definizione
6.2.Principio del piccione
6.3.Pumping lemma DFA
6.3.1.Definizione
6.3.2.Applicazione
6.3.3.Teorema

7.PDA
7.1.Simbolo iniziale della pila
7.2.Stati
7.3.Non determinismo
7.4.Accettare/rifiutare una stringa
7.5.Pushing e popping strings
7.6.Definizione
7.7.Descrizione istantenea
7.8.Linguaggio

8.Forme normali per context-free


8.1.Context-free
8.2.Chomsky
8.2.1.Conversione nella forma normale di chomsky
8.2.2.Procedura
8.3.Pumping lemma
8.3.1.Intuizione
8.3.2.Dichiarazione
8.3.3.Prove

9.Applicazioni pumping lemma

10.PDA e context-free
10.1.Teorema
10.2.Dimostrazione
10.2.1.Step 1
10.2.2.Procedura di conversione
10.2.3.Step 2
10.3.Costruzione della grammatica
10.3.1.Caso 1
10.3.2.Caso 2
10.3.3.Caso 3
10.3.4.Lemma
10.3.5.Dimostrazione

11.PDA e determinismo
11.1.Transizioni permesse e non
11.2.Definizione
11.3.Dimostrazione
11.4.Teorema
11.5.Dimostrazione
11.6.Fatto 1
11.7.Fatto 2

12.CYK
12.Problema
13.Algoritmo
14.Forma normale di chomsky
15.Tabella triangolare
16.Teorema

13.Modelli di computazione
13.1.Tipi
13.2.Tesi di church
13.3.Tesi di turing
13.4.Funzioni ricorsive
13.4.1.Primitiva
13.4.2.Teorema
13.4.3.Dimostrazione
13.5.Post systems
13.5.1.Teorema
13.5.Riscrittura dei sistemi
13.5.1.Grammatiche matrix
13.5.1.1.Teorema
13.5.2.Algoritmi markov
13.5.2.1.Teorema
13.5.3.Sistemi lindermayer
13.5.3.1.Teorema

14.Complessità temporale
14.1.Definizione
14.2.Tempo di decisione
14.3.Classe
14.4.Algoritmi tempo polinomiale
14.5.Algoritmi tempo esponenziale
14.6.Problema cammino hamiltoniano
14.7.Problema della cricca
14.8.Problema del commesso viaggiatore
14.9.Problema della soddisfacibilità
14.10.Definizione non determinismo
14.11.Tempo polinomiale non deterministico
14.12.NP-completezza
14.13.Teorema di cook

15.NP-completi
15.1.Definizione tempo polinomiale deterministico e non
15.2.NP-completezza
15.3.Linguaggio np-completo
15.3.1.Teorema di cook
15.4.Osservazioni

16.Teorema di Savitch
16.1.Complessità spaziale
16.2.Classi
16.2.Teorema di savitch
16.3.Problema yeldability

17.Problemi indecidibili
17.1.Linguaggi decidibili
17.2.Linguaggi indecidibili
17.3.Problema membership
17.3.1.Teorema
17.4.Problema halting 1
17.3.1.Teorema
17.5.Problema halting 2
17.5.1.Teorema

18.Diagonalizzazione

19.MdT
19.1.Tape
19.2.Stringa input
19.3.Stati
19.4.Determinismo
19.5.Funzione di transizione parziale
19.6.Halting
19.7.Accettare una stringa
19.8.Gerarchia dei linguaggi
19.9.Loop infinito
19.10.Funzione di transizione
19.11.Configurazione
19.12.Linguaggio accettato
19.13.Calcolare funzioni

20.Modelli MdT
20.1.Multitraccia
20.1.1.Equivalenza multitraccia e singola traccia
20.2.Multinastro
20.2.1.Equivalenza multinastro e singolo nastro
20.3.Non deterministiche
20.3.1.Equivalenza tra deterministiche e non

21.MdT universale
21.1.Codifica
21.1.1.Alfabeto
21.1.2.Stati
21.1.3.Transizione
21.1.4.MdT
21.2.Linguaggio
21.3.Insiemi contabili
21.4.Definizione
21.5.Insiemi incontabili
21.6.Automa linear-bounded
21.7.Grammatica context-sensitive
21.7.1.Teorema
21.8.Grammatiche senza limiti
21.8.1.Teorema
21.9.Problemi decidibili per linguaggi regolari
21.10.Problemi decidibili per linguaggi context-free