automata_constructions (349B)
1 # Automata constructions 2 3 - [chrobak_normal_form] 4 - [powerset_automata] for [automata_determinization] 5 - [minimization_automaton] 6 - [automata_reversal], does not preserve [automata_determistic] 7 - [automata_complementation] 8 - [product_automaton], for [automaton_intersection] 9 10 Up: [automata] 11 12 Aliases: automaton construction, automaton constructions