Questo sito utilizza cookie di terze parti per inviarti pubblicità in linea con le tue preferenze. Se vuoi saperne di più clicca QUI 
Chiudendo questo banner, scorrendo questa pagina, cliccando su un link o proseguendo la navigazione in altra maniera, acconsenti all'uso dei cookie. OK

Combinazione di procedure di decisione tramite riscrittura

L'anteprima di questa tesi è scaricabile in PDF gratuitamente.
Per scaricare il file PDF è necessario essere iscritto a Tesionline.
L'iscrizione non comporta alcun costo. Mostra/Nascondi contenuto.

Capitolo 1 Introduzione Lo sviluppo di tecniche generali per la combinazione e integrazione di sistemi specializ- zati e` un campo che, da diversi anni, sta impegnando un grande numero di informatici e matematici in diversi enti di ricerca e universita`. Citiamo a questo proposito la nascita di alcune iniziative quali il FroCoS, International Workshop on Frontiers of Combining Systems (cfr. [15]), la cui prima edizione si e` tenuta nel 1996, un sito internet interamente dedicato a problemi di combinazione (cfr. [16]) e una libreria di risolutori automatici (cfr. [18]), entrambi sostenuti principalmente dall’Universita` dell’Iowa. Le tematiche sopra descritte si applicano a svariati campi dell’informatica, della logica e della matematica, tra i quali le strutture dati, il calcolo formale, i sistemi multiagente e la linguistica computazionale. Tra le tematiche di combinazione figura anche la cosiddetta combinazione di problemi della parola, che e` argomento di questo lavoro di tesi e che andiamo a descrivere. Il problema di decidere se, data una teoria equazionale T in una segnatura finita Σ, vale T |= s = t per una coppia (s, t) di termini arbitrari, e` chiamato problema della parola e, nel caso piu` generale, si tratta di un problema indecidibile sebbene vi siano diverse sue istanze decidibili. Date due teorie equazionali T1 e T2 (non necessariamente disgiunte) per ciascuna delle quali il problema della parola e` supposto essere decidibile, combinare problemi 1

Anteprima della Tesi di Jacopo Mantovani

Anteprima della tesi: Combinazione di procedure di decisione tramite riscrittura, Pagina 2

Tesi di Laurea

Facoltà: Scienze Matematiche, Fisiche e Naturali

Autore: Jacopo Mantovani Contatta »

Composta da 71 pagine.

 

Questa tesi ha raggiunto 371 click dal 20/03/2004.

Disponibile in PDF, la consultazione è esclusivamente in formato digitale.