automaton_trimming (306B)
1 # Automaton trimming 2 3 The process of transforming a [complete_automaton] into an [incomplete_automaton] by removing all [useless_states] 4 5 Up: [automata_constructions] 6 7 See also: [automaton_completion], [automaton_trimmed] 8 9 Aliases: pruning, automaton pruning, automata pruning, automata trimming, trimming