%0 Conference Proceedings
%T State Complexity of Unary SV-XNFA with Different Acceptance Conditions
%+ Stellenbosch University
%+ Council for Scientific and Industrial Research [Pretoria] (CSIR)
%A Marais, Laurette
%A Zijl, Lynette, Van
%Z Part 2: Contributed Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 19th International Conference on Descriptional Complexity of Formal Systems (DCFS)
%C Milano, Italy
%Y Giovanni Pighizzini
%Y Cezar Câmpeanu
%I Springer International Publishing
%3 Descriptional Complexity of Formal Systems
%V LNCS-10316
%P 250-261
%8 2017-07-03
%D 2017
%R 10.1007/978-3-319-60252-3_20
%Z Computer Science [cs]Conference papers
%X Unary self-verifying symmetric difference automata were introduced in [1], with an upper bound of $O(2^{n})$ and lower bound of $2^{n-1}-1$ for state complexity. Implicit in the interpretation of self-verifying acceptance for the symmetric difference case was the assumption that no state could be both an accept state and a reject state. We present another interpretation of acceptance more aligned to the equivalence of symmetric difference automata to weighted automata over GF(2), where states that both accept and reject are allowed, and we give a tight bound of $2^{n-1}-1$ for state complexity for both interpretations of acceptance.
%G English
%Z TC 1
%Z WG 1.2
%2 https://inria.hal.science/hal-01657002/document
%2 https://inria.hal.science/hal-01657002/file/440206_1_En_20_Chapter.pdf
%L hal-01657002
%U https://inria.hal.science/hal-01657002
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG
%~ IFIP-DCFS
%~ IFIP-WG1-2
%~ IFIP-LNCS-10316