For each regular language, there also exists a minimal automaton that accepts it, that is, a DFA with a minimum number of states and this DFA is unique (except that states can be given different names).
تصغير DFA لكل لغة عادية ، يوجد أيضًا عدد قليل من الحركات يقبل ذلك ، أي ، DFA مع عدد أدنى من الحالات وهذا DFA فريد (باستثناء أنه يمكن إعطاء أسماء مختلفة).