xor_automata (335B)
1 # Xor automata 2 3 An [automaton] that accepts if the number of accepting runs is odd 4 5 - [nondeterministic_xor_automaton] (NXA) 6 7 A specific case of [weighted_automaton] 8 9 Tractable [automaton_minimization] and [automaton_inclusion] for them, cf https://cstheory.stackexchange.com/a/24938 [vuillemin2009equivalence] 10 11 Up: [automata_classes]