2017-06-24 16 views
0

私はこのようなNFAがあります。 enter image description hereイプシロンとNFAの空集合言語はありますか? (非決定性有限オートマトン)

をし、質問がある:

は空のセットイプシロンあり、そして、このNFAの言語?

+0

それはΣかεですか? –

+0

NFAが空文字を受け入れるかどうか尋ねていますか? –

+0

画像ではΣです。 @ C-Otto私はそれが分かりませんが、問題はちょっと難しいです:/Σと空集合は定義上、各Σの言語です。 – Lucas

答えて

0

あなたのオートマトンは、終了状態に達するために最低でも{b、a}必要です。したがって、遷移なしで終わりに達することは不可能なので、空集合はその言語ではありません。また、完全にε遷移で構成されている最初から最後までのパスがないため、εだけで終了状態に到達する方法はありません。

だから、空集合とεはそのNFAの言語の一部ではありません。

+0

ありがとうございます。もう1つ質問できますか?このNFAをどのようにDFAに変換しますか? – Lucas

+0

@Lucasあなたは大歓迎です。悲しいことに、あなたの質問の範囲外です。手順が難しい場合は、[このかなり良い例](https://www.tutorialspoint.com)を読んでみることをお勧めします。 /automata_theory/ndfa_to_dfa_conversion.htm)まだ成功しない場合は、別の質問を投稿することができます。 – Mat

関連する問題