Author:Marais, Laurette; Van Zijl, LDate:Jul 2016We investigate self-verifying nondeterministic finite automata, in the case of unary symmetric difference nondeterministic finite automata (SV-XNFA). We show that there is a family of languages Ln=2 which can always be represented non-trivially ...Read more