Parite-L ve NL

L olarak da bilinen parite-L, yalnızca çift sayı veya tek sayıda "kabul" yolu ayırt edebilen deterministik olmayan bir Turing makinesi tarafından tanınan dil kümesidir. Yakın zamanda ilgili bir soru Niel de Beaudrap tarafından sorulmuştur.$\oplus$

Sorum şu:

Bildiğimiz musunuz NL eğer $\subseteq$ $\oplus$ L? Yoksa bu iki sınıfın kıyaslanamaz olduğuna inanılıyor mu?

Homojen olmayan bir şekilde, NL parite L'de bulunur: bkz. Http://www.math.ias.edu/~avi/PUBLICATIONS/MYPAPERS/W94/proc.pdf