Automata-theory-dfa-complement

提供:Dev Guides
移動先:案内検索

DFA補数

(Q、∑、δ、q〜0〜、F)が言語Lを受け入れるDFAである場合、DFAの補数は、その受け入れ状態を非受け入れ状態と交換することによって取得でき、その逆も同様です。

私たちは例を挙げて、これを以下で詳しく説明します-

DFA Accepting Language L

このDFAは言語を受け入れます

L = \ {a、aa、aaa、…​…​…​…​. }

アルファベットの上

∑ = \ {a、b}

したがって、RE = a ^ + ^。

今、私たちはその受け入れ状態を非受け入れ状態と交換し、逆もまた同様になります-

DFA Accepting Complement Language L

このDFAは言語を受け入れます

Ľ= \ {ε、b、ab、bb、ba、…​…​…​…​…​ }

アルファベットの上

∑ = \ {a、b}

-NFAを補完する場合は、最初にNFAをDFAに変換してから、前の方法のように状態を交換する必要があります。