Introduzione allo studio dell'informatica teorica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Bibliografia essenziale
Riga 18:
La scomposizione del presente corso in tre moduli ci permette di strutturare la presentazione in tre parti: la prima centrata sul concetto di formalismo, la seconda sulle idee riguardanti la computabilità e la terza sulla complessità computazionale.
 
==I formalismi==
Indubbiamente, valutare le qualità di un algoritmo presuppone l'esistenza di un metodo che permetta di analizzarlo; a tal scopo, con il passare del tempo sono stati creati alcuni strumenti di lavoro pensati proprio per questo scopo.
 
Riga 39:
La seconda caratteristica, ossia la funzionalità all'analisi, richiede una profonda conoscenza di cosa si intenda per caratteristiche e per prestazioni degli algoritmi e sarà premura di questo corso trattare tali aspetti.
 
===Gli automi===
Sebbene gli automi non siano gli unici formalismi possibili, bisogna ammettere che questa categoria merita un discorso a parte.