Nó đã được chứng minh rằng mỗi lớp học đều được bao gồm vào tiếp theo. Ví dụ, thử nghiệm khi chúng tôi cho rằng hành vi của việc thực hiện dưới bài kiểm tra có thể được biểu tượng bởi một máy tính hữu hạn của deterministic cho một số bộ phận hữu hạn được biết đến và kết quả với một số tiểu bang thuộc về lớp I (và tất cả các lớp học tiếp theo). Tuy nhiên, nếu số lượng tiểu bang không được biết đến, thì nó chỉ thuộc về tất cả các lớp học từ lớp II trên. Nếu việc thực hiện dưới bài kiểm tra phải là một máy tính hữu hạn của nhà nước thất bại các đặc điểm cho một dấu vết (và continuations), và số lượng tiểu bang của nó là không rõ, sau đó nó chỉ thuộc về các lớp học từ Lớp III trên. Thử nghiệm máy móc thời gian nơi chuyển đổi được kích hoạt nếu nhập được sản xuất trong một số phạm vi hạn chế thực sự chỉ thuộc về các lớp học từ lớp IV trên, trong khi thử nghiệm nhiều hệ thống không có hệ thống 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 bao gồm vào lớp học mà tôi không yêu cầu sự đơn giản của mô hình giả định, như một số trường hợp thử nghiệm liên quan đến việc được viết trong bất kỳ ngôn ngữ lập trình nào, và thử nghiệm được xác định như máy móc tùy thuộc vào độ liên tục, đã được chứng minh là trong lớp I. Các trường hợp elaborated khác, chẳng hạn như khuôn khổ thử nghiệm của Matthew Hennessy dưới đây phải là ngữ nghĩa, và máy móc thời gian với timeouts lý trí, thuộc lớp II.
Nếu số lượng tiểu bang không rõ, điều này sẽ rơi vào nhóm nào?
Lớp II