Có ba lớp, những gì đã được kết luận và chứng minh cho tất cả các lớp?
Nó đã được chứng minh rằng mỗi lớp được bao gồm chặt chẽ vào tiếp theo. Ví dụ, thử nghiệm khi chúng ta giả định rằng hành vi của việc thực hiện theo thử nghiệm có thể được biểu thị bằng một máy trạng thái hữu hạn tất định cho một số tập hợp hữu hạn đã biết của đầu vào và đầu ra và với một số số đã biết của các trạng thái thuộc về lớp I (và tất cả các lớp tiếp theo). Tuy nhiên, nếu số lượng các trạng thái không được biết, sau đó nó chỉ thuộc về tất cả các lớp từ lớp II trở đi. Nếu việc thực hiện theo thử nghiệm phải là một máy trạng thái hữu hạn tất định không các đặc điểm kỹ thuật cho một dấu vết duy nhất (và tiếp tục của nó), và số lượng các trạng thái của nó là không rõ, sau đó nó chỉ thuộc về các lớp từ lớp III trở đi. Kiểm tra máy thời gian nơi quá trình chuyển đổi được kích hoạt nếu đầu vào được tạo ra trong một khoảng thời gian thực chỉ thuộc về các lớp từ lớp IV trở đi, trong khi kiểm tra nhiều hệ thống không xác định chỉ thuộc về lớp V (nhưng không phải tất cả, và một số thậm chí thuộc về lớp I). Việc đưa vào lớp I không đòi hỏi sự đơn giản của mô hình tính toán giả định, như một số trường hợp thử nghiệm liên quan đến việc thực hiện được viết bằng bất kỳ ngôn ngữ lập trình, và thực hiện thử nghiệm được xác định là máy tuỳ thuộc vào cường độ liên tục, đã được chứng minh là trong lớp I. Các trường hợp phức tạp khác, chẳng hạn như khuôn khổ thử nghiệm của Matthew Hennessy theo ngữ nghĩa bắt buộc, và máy thời gian với thời gian hợp lý, thuộc về lớp II.
Mỗi lớp được đưa vào nghiêm ngặt trong lớp tiếp theo.