La parité-L, également connue sous le nom de L, est l'ensemble des langages reconnus par une machine de Turing non déterministe qui ne peut distinguer qu'un nombre pair ou un nombre impair de chemins "d'acceptation". Une question connexe récente été posée par Niel de Beaudrap.
Ma question est la suivante:
Savons-nous si NL ⊕ L? Ou ces deux classes sont-elles considérées comme incomparables?