CSIR Publications
Permanent URI for this community
Browse
Browsing CSIR Publications by Author "Marais, Laurette"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item The state complexity of language operations on XNFA-succinct unary regular languages(2018-09) Marais, Laurette; Van Zijl, LGiven two unary languages accepted by symmetric difference non-deterministic finite automata, we establish bounds on the state complexity of their union, intersection, relative complement and symmetric difference. For languages L1 and L2 accepted by minimal symmetric difference nondeterministic finite automata of size m and n respectively, we show that the state complexity of their union, intersection and relative complement has an upper bound of (2m - 1)(2n - 1).