unambiguous_word_automaton_complementation (247B)
1 # Unambiguous word automaton complementation 2 3 [raskin2018superpolynomial], [goos2021lower] 4 5 [UFA_complementation_maximal_weight] 6 7 Up: [word_automaton_unambiguous], [automata_complementation] 8 9 See also: [disjuntive_normal_form_orthogonal_negation]