出典:Wikipedia
出典:『Wikipedia』 (2011/07/15 09:43 UTC 版)
In computer science, more specifically in the branch of automata theory, DFA minimization is the task of transforming a given deterministic finite automaton (DFA) into an equivalent DFA that has minimum number of states. Here, two DFAs are called equivalent if they describe the same regular language. Several different algorithms accomplishing this task are known and described in standard textbooks on automata theory.