Author:Marais, Laurette; Van Zijl, LynetteDate:Jul 2017Unary self-verifying symmetric difference automata were introduced in [1], with an upper bound of O(2(supn) ) and lower bound of 2(sup n-1) -1 for state complexity. Implicit in the interpretation of self-verifying acceptance for the symmetric ...Read more