Parzystość-L vs. NL

Parzystość-L, znana również jako , jest zestawem języków rozpoznawanych przez niedeterministyczną maszynę Turinga, która może rozróżniać tylko liczbę parzystą lub nieparzystą liczby ścieżek „akceptacji”. Ostatnie powiązane pytanie zadał Niel de Beaudrap.$\oplus$

Moje pytanie jest następujące:

Czy wiemy, czy NL ⊕ L? Czy te dwie klasy są uważane za nieporównywalne?$\subseteq$ $\oplus$

Nierównomiernie NL jest zawarte w parzystości-L: patrz http://www.math.ias.edu/~avi/PUBLICATIONS/MYPAPERS/W94/proc.pdf