Alternativa, Separazione e Problemi di Classificazione

Nella prima parte di questa tesi vengono presentati i principali teoremi di alternativa e di separazione. Viene quindi mostrato che si tratta di linguaggi diversi per esprimere le stesse proprietà strutturali. Nella seconda parte della tesi si prendono invec in considerazione i problemi di classificazione. Dopo aver spiegato di cosa si tratta, si mostrano le connessioni tra i teoremi precedentemente studiati e le applicazioni pratiche. Infine viene fatta una panoramica dei metodi di classificazione più usati