"Nella (meta)teoria dell'informatica vengono affrontate le questioni fondamentali sui limiti dell'informatica. Tali limiti, che sono intrinseci e non dipendenti dalla tecnologia, possono escludere immediatamente l'esistenza di soluzioni algoritmiche per alcuni problemi mentre per altri escludono soluzioni efficienti. L'approccio dell'autore è ancorato alla conoscenza pratica concreta (e presunta) della programmazione informatica generale, acquisita dai lettori in un corso di programmazione del primo anno, nonché alla conoscenza della matematica discreta allo stesso livello. Il libro sviluppa la metateoria dell'informatica. Viene sviluppata la metateoria attraverso il formalismo di programmazione noto come Shepherdson-Sturgis Unbounded Register Machines (URM) - un'astrazione semplice dei moderni linguaggi di programmazione di alto livello. L'autore ha scelto di concentrarsi sull'approccio al linguaggio di alto livello degli URM rispetto alla macchina di Turing poiché gli URM si riferiscono più direttamente alla programmazione appresa in esperienze precedenti dopo che i lettori hanno acquisito familiarità, in una certa misura, con la teoria (generale) della computabilità, inclusa la teoria speciale della computabilità di funzioni più "pratiche", le funzioni ricorsive primitive vengono presentate come un formalismo di programmazione molto limitato e vengono studiati i loro limiti (in termini di espressività) e i linguaggi associati. Inoltre, questo libro contiene strumenti che, in linea di principio, possono cercare un insieme di algoritmi per vedere se un problema è risolvibile o, più specificamente, se può essere risolto da un algoritmo i cui calcoli sono efficienti. La copertura del capitolo include: Background matematico; Algoritmi, funzioni computabili e calcoli; Un sottoinsieme del linguaggio URM: FA e NFA; e Aggiunta di uno stack a un NFA: Pushdown Automata"-- "Il libro sviluppa la metateoria dell'informatica generale e si basa sull'esperienza informatica precedente del lettore attraverso il formalismo di programmazione noto come Shepherdson-Sturgis Unbounded Register Machines (URM) - un'astrazione semplice della moderna programmazione di alto livello. vengono sviluppati. Vengono discusse anche le restrizioni del linguaggio di programmazione URM. L'autore ha scelto di concentrarsi sull'approccio linguistico di alto livello degli URM rispetto alla Macchina di Turing poiché gli URM si riferiscono più direttamente alla programmazione appresa in esperienze precedenti"--
caricamento...
