|Q|=2{いいえ。州の数は 2},|Ɛ|=2{いいえ。アルファベットの}および|F|=1{いいえ。最終状態の} ?
1 に答える
まず第一に、「アルファベットの数」とは、実際にはアルファベットの記号の数を指していると思います。複数のアルファベットを持つ有限オートマトンは聞いたことがありません。
次に、私が持っている有限オートマトンの定義は次のとおりです: 有限オートマトン M は 5 重 M = (S,I,δ,s0,F) ここで: S は有限集合 (状態) I は有限アルファベット ( δ: S × I → S (次状態関数) s0 ∈ S (開始状態) F ⊆ S (受容状態)。
したがって、あなたの定義はその Q -> S Ɛ -> I および F -> F で私のものにマップされます
さて、どの状態が開始状態かによってオートマトンが異なるので、これは重要な要素であり、無視することはできません。2 つの状態がある場合、2 つの中から別の最終状態を選択すると、2 つの異なるオートマトンにつながります。ここで、各状態のアルファベットの各記号に遷移関数が必要であると仮定すると、最初に 1 つの状態だけを調べると、各状態について、2 つの記号 (a および b と呼びます) のそれぞれに遷移関数が必要です。 . 各シンボルの遷移関数の値は、2 つの可能な状態のいずれかになります。したがって、1 つの状態に対して、2 x 2 = 4 つの遷移関数の可能性があります。2 つの状態があるため、2 番目の状態にはさらに 4 つの可能な遷移関数があります。異なる初期/最終状態の可能性を考慮して、