Utente:Valepert/Libri/Informatica teorica

	Questo è un “Libro di Wikipedia”	[ Aiuto:Libri ]
	[ carica libro ] [ PDF ] [ ordina come libro stampato ] [ modifiche correlate ]

Informatica teorica[modifica | modifica wikitesto]

Introduzione all'informatica teorica: Macchina di Turing; Macchina di Turing universale; Tesi di Church-Turing; Architettura di von Neumann; Entscheidungsproblem; Rete neurale
Automa a stati finiti: Automa (informatica); Automa lineare limitato; Automa a pila; Automa a stati finiti; Automa a stati finiti deterministico; Automa a stati finiti non deterministico; Stringa (linguaggi formali); Linguaggio formale; Costruzione dei sottoinsiemi; Teorema di Myhill-Nerode
Espressioni e linguaggi regolari: Star di Kleene; Teoremi di De Morgan; Pumping lemma; Pumping lemma per i linguaggi regolari; Espressione regolare; Linguaggio regolare
Grammatiche: Grammatica formale; Grammatica generativa; Gerarchia di Chomsky; Grammatica dipendente dal contesto; Grammatica libera dal contesto; Parse tree; Backus-Naur Form; Pumping lemma per i linguaggi liberi dal contesto; Omomorfismo; Parsing; Notazione polacca
Teoria della calcolabilità: Teoria della calcolabilità; Turing equivalenza; Funzione ricorsiva primitiva; Funzione di Ackermann; Macro; Funzione parziale; Minimalizzazione; Quantificatore; Funzione coppia; Numero di Gödel; Problema della fermata; Insieme ricorsivo; Insieme ricorsivamente enumerabile; Teorema S m n; Teorema di Rice; Equazione diofantea; Teorema di Matiyasevich; Lambda calcolo; Classi di complessità P e NP; P (complessità); NP (complessità); Teorema di Cook