Teoria del calcolo semplificata - Simulare le macchine e i problemi del mondo reale con i principi fondamentali del calcolo

Titolo originale:

Theory of Computation Simplified - Simulate Real-world Computing Machines and Problems with Strong Principles of Computation

Contenuto del libro:

La teoria delle macchine da calcolo

Caratteristiche principali

Le idee algoritmiche sono rese semplici da capire grazie all'uso di esempi.

Contiene un'ampia gamma di esempi e soluzioni per aiutare gli studenti a comprendere meglio i concetti.

Progettato per assistere e guidare gli studenti nell'applicazione dei fondamenti della teoria del calcolo in situazioni reali.

Descrizione

Il libro è rivolto a coloro che hanno sete di conoscenza della teoria del calcolo. Per soddisfare le esigenze di un'ampia gamma di persone, i principi contenuti in questo libro sono spiegati in modo da essere facilmente comprensibili, digeribili e applicabili nella carriera futura.

La “teoria della computazione” è un argomento matematico e fondamentale per l'informatica, le applicazioni informatiche, l'ingegneria informatica e l'ingegneria del software. Questo libro fornisce una chiara introduzione ai principi fondamentali, seguita da uno studio matematico approfondito e da una serie di problemi risolti. Prima di leggere questo libro, gli studenti devono comprendere gli insiemi di base, le funzioni, gli alberi, i grafici e le stringhe. Il libro nel suo complesso fa conoscere al lettore i fondamenti della teoria degli automi. Il libro fornisce una copertura teorica semplificata dei principi essenziali, risolve istanze e problemi a scelta multipla con soluzioni. La teoria e il calcolo degli automi presentati in questo libro saranno di grande aiuto a studenti e professori.

Cosa imparerete

Creare automi finiti non prevedibili.

Creare espressioni regolari in qualsiasi linguaggio.

Convertire la grammatica libera da contesto nelle forme normali di Chomsky e Greibach.

Costruire automi pushdown deterministici e non deterministici per le espressioni regolari.

Conoscere la differenza tra decidibilità e calcolabilità.

Creare una macchina di Turing basata su un'espressione regolare specificata.

A chi è rivolto questo libro

Questo libro è adatto a studenti universitari e laureati in informatica, tecnologia dell'informazione e ingegneria del software con una conoscenza di base della teoria degli insiemi e della logica booleana.

Indice dei contenuti

1. Gli automi finiti

2. Automi finiti non deterministici

3. Espressioni regolari

4. Grammatica libera dal contesto

5. Linguaggio regolare

6. Automi Push Down

7. Macchine postali

8. Macchine di Turing

9. Computabilità e indecidibilità

10. Teoria della complessità: Prospettiva avanzata