È stato dimostrato che ogni classe è stata inclusa rigorosamente nel prossimo. Ad esempio, la verifica quando si suppone che il comportamento dell' implementazione in esame possa essere indicato da una macchina deterministica a stato finito per alcune serie finite note di ingressi e uscite e con un certo numero noto di stati appartiene alla Classe I (e a tutte le classi successive). Tuttavia, se il numero di stati non è noto, allora appartiene solo a tutte le classi della classe II in poi. Se l' implementazione in esame deve essere una macchina deterministica a stato finito che non rispetta le specifiche di una singola traccia (e le sue continuazioni) e il suo numero di stati è sconosciuto, allora appartiene solo alle classi della classe III in poi. Il test di macchine temporali in cui le transizioni vengono attivate se gli ingressi sono prodotti entro un intervallo di tempo reale appartiene solo alle classi della classe IV, mentre il test di molti sistemi non-deterministici appartiene solo alla classe V (ma non tutti, e alcuni appartengono anche alla classe I). L' inclusione in Classe I non richiede la semplicità del modello di calcolo ipotizzato, in quanto alcuni casi di test che prevedono implementazioni scritte in qualsiasi linguaggio di programmazione, e implementazioni di test definite come macchine a seconda delle magnitudini continue, si sono rivelate essere in Classe I. Altri casi elaborati, come il quadro di prova da Matthew Hennessy sotto semantica mosto, e macchine temporali con timeout razionali, appartengono alla classe II.
Se il numero di Stati non è noto, in quale gruppo rientra?
classe II