Marais, LauretteVan Zijl, L2017-09-192017-09-192016-07Marais, L., and van Zijl, L. 2016. Unary Self-verifying Symmetric Difference Automata. In: Câmpeanu, C., Manea, F., Shallit, J. (eds) Descriptional Complexity of Formal Systems. DCFS 2016. Lecture Notes in Computer Science, vol 9777. Springer, Cham978-3-319-41113-2http://link.springer.com/book/10.1007/978-3-319-41114-9http://hdl.handle.net/10204/957918th International Workshop on Descriptional Complexity of Formal Systems, 5 - 8 July 2016, Bucharest, Romania. Due to copyright restrictions, the attached PDF file only contains the abstract of the full text item. For access to the full text item, please consult the publisher's websiteWe 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 by unary SV-XNFA. We also consider the descriptional complexity of unary SV-XNFA, giving an upper and lower bound for state complexity.enNondeterministic finite automataUnary SV-XNFAConference PresentationMarais, L., & Van Zijl, L. (2016). Unary self-verifying symmetric difference automata. Springer Nature. http://hdl.handle.net/10204/9579Marais, Laurette, and L Van Zijl. "Unary self-verifying symmetric difference automata." (2016): http://hdl.handle.net/10204/9579Marais L, Van Zijl L, Unary self-verifying symmetric difference automata; Springer Nature; 2016. http://hdl.handle.net/10204/9579 .TY - Conference Presentation AU - Marais, Laurette AU - Van Zijl, L AB - We 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 by unary SV-XNFA. We also consider the descriptional complexity of unary SV-XNFA, giving an upper and lower bound for state complexity. DA - 2016-07 DB - ResearchSpace DP - CSIR KW - Nondeterministic finite automata KW - Unary SV-XNFA LK - https://researchspace.csir.co.za PY - 2016 SM - 978-3-319-41113-2 T1 - Unary self-verifying symmetric difference automata TI - Unary self-verifying symmetric difference automata UR - http://hdl.handle.net/10204/9579 ER -