Důkaz:
Tvrzení: Třída regulárních jazyků je uzavřena vůči doplňku.
Uzávěrové vlastnosti: Doplněk
• Nechť L je regulární jazyk
• Pak existuje úplný DKA M: L(M) = L
• Můžeme sestrojit úplný DKA M’: L(M’) = L
   užitím předchozího algoritmu
• Každý KA definuje regulární jazyk, tedy   
   L je regulární jazyk
17/26