Parity-L, còn được gọi là L, là tập hợp các ngôn ngữ được công nhận bởi một máy Turing không xác định, chỉ có thể phân biệt giữa một số chẵn hoặc số lẻ của các đường dẫn "chấp nhận". Một câu hỏi liên quan gần đây đã được Niel de Beaudrap đặt ra.
Câu hỏi của tôi là như sau:
Chúng ta có biết nếu NL ⊕ L? Hay hai lớp này được cho là không thể so sánh được?