Parity-L, noto anche come L, è l'insieme di lingue riconosciute da una macchina di Turing non deterministica che può solo distinguere tra un numero pari o un numero dispari di percorsi di "accettazione". Una recente domanda correlata è stata posta da Niel de Beaudrap.
La mia domanda è la seguente:
Sappiamo se NL L? O si ritiene che queste due classi siano incomparabili?