Algoritmi e ricorsività: macchine di Turing e algoritmi di Markov

Frisoni, Federica (2014) Algoritmi e ricorsività: macchine di Turing e algoritmi di Markov. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270]
Documenti full-text disponibili:
[img]
Anteprima
Documento PDF
Download (537kB) | Anteprima

Abstract

In questa questa tesi vengono presentate alcune delle più importanti definizioni di funzione computabile mediante un algoritmo: una prima descrizione è quella data tramite le funzioni ricorsive, un secondo approccio è dato in termini di macchine di Turing, infine, vengono considerati gli algoritmi di Markov. Si dimostra che tutte queste definizioni sono equivalenti. Completa la tesi un breve cenno al lambda-K-calcolo.

Abstract
Tipologia del documento
Tesi di laurea (Laurea magistrale)
Autore della tesi
Frisoni, Federica
Relatore della tesi
Scuola
Corso di studio
Indirizzo
Curriculum C: Didattico
Ordinamento Cds
DM270
Parole chiave
ricorsività macchina di Turing algoritmi di Markov
Data di discussione della Tesi
16 Luglio 2014
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^