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