Đây là một câu trả lời muộn, nhưng dường như không ai đưa ra giải pháp tối ưu. Hãy , Q n = { 0 , 1 , ... , n - 1 } et Một n = ( Q n , A , E n , { 0 } , { 0 } ) , với
E n = { ( tôi , a , tôiA={a,b}Qn={0,1,…,n−1}An=(Qn,A,En,{0},{0})
En={(i,a,i+1)∣0⩽i⩽n−1}∪{(n−1,a,0)}∪{(i,b,i)∣1⩽i≤n−1}∪{(i,b,0)∣1⩽i⩽n−1}}
NFA này trên bảng chữ cái hai chữ cái có
trạng thái, chỉ có một trạng thái ban đầu và một trạng thái cuối cùng và DFA tối thiểu tương đương của nó có
2 n trạng thái.
n2n