Dexter Kozen , professore presso il Dipartimento di Computer Science presso la Cornell University, è l’autore di “Teoria della computazione ” (2006) , che è uno studente di informatica libro di testo. Il libro è organizzato come una raccolta di lezioni e termina con una serie di esercizi compiti e le loro soluzioni . Teoria della computazione
La teoria della computazione è una specialità all’interno di informatica che si concentra sullo sviluppo di modelli sia logici e matematici , astraendo dalle preoccupazioni circa i limiti hardware e di memoria .
la teoria è stata derivata dal lavoro nei settori fondamentali della matematica del 20 ° secolo da figure come Kurt Godel e Alan Turing . Secondo Richard L. Epstein e Walter A. Carnielli nel loro libro , ” computabilità ” (1989 ) , risultanti ossequi teoria computer come ” metodi per spingere i simboli in giro. ”
Prima lezione
Kozen inizia la prima lezione di “Teoria della computazione “, ponendo le due preoccupazioni centrali del corso . Questi sono lo studio di ” vari modelli computazionali e costrutti di programmazione ” e la classificazione dei problemi ” in termini di complessità intrinseca . ”
Storicamente , un buon punto di partenza per la discussione di tali punti è un 1936 documento scritto da Turing ha chiamato , ” su numeri computabili “. In questo articolo Turing definito quello che ha definito una macchina universale ( ora si chiama una macchina di Turing in suo onore ) .
Una macchina di Turing comporta un insieme finito di stati e di un nastro semi-infinito . La macchina legge ingresso e ( sulla base di tale ingresso) imprime simboli sulle cellule separate del nastro . Il nastro si chiama ” semi – infinito ” perché è delimitata sul lato sinistro , ma senza limiti sulla destra .
Kozen mette, la macchina di Turing fornisce un ” modello per definire il tempo di base e la complessità dello spazio ” con definizioni che “riflettono in modo abbastanza preciso le nostre aspettative di vita reale di calcolo. ” teorema
di Savitch
Kozen continua a discutere teorema di Savitch , chiamato per Walter Savitch , un professore da lungo tempo presso la University of California , San Diego. Il teorema di Savitch dimostra che esiste un algoritmo per determinare se esiste un percorso tra due i vertici in un grafo orientato .
Kozen rileva che ciò ha un’incidenza su , anche se non è identico al ” all’aperto più importante domanda in informatica teorica ” (il problema P = NP ) .
Per esempio , se si definisce ” P ” come l’insieme di tutti i problemi che possono essere facilmente risolvibili , e” NP “, come l’insieme di tutti problemi che sono difficili da risolvere ma facilmente riconoscibili massima precisione risolto una volta qualcun altro ha fatto, allora sembra intuitivamente ovvio che ” P ” e ” NP ” non sono lo stesso insieme . Se fossero la stessa serie , sarebbe un fatto preoccupante per gli scienziati informatici , perché vorrebbe dire che tutto è (in linea di principio) truccabili .
Tuttavia, né Savitch della né teoremi di Közen risolvere il problema .
un altro libro
Kozen è anche l’autore di ” The Progettazione e analisi di algoritmi , ” che è un libro che copre argomento simile per i dottorandi già ” familiarità con il classico materiale normalmente insegnato in corsi di laurea di livello superiore “nella zona .