automata

0熱

1答えて

1.私はこのオートマトン（ブロッキングではなく重み付けされています）を取得できますか？ 2.簡単な例をいくつか見てみたいです。

-1熱

2答えて

は、これが私のオートマトンであり、この言語のこと正規表現は、私がチェック入力文字列のためのC++プログラムを作りたい (aaa*b|ba)a*は、この言語かによって受け入れられています。このプログラムは、文字列やプリントを得る AcceptedまたはRejected例えば：入力： aaaba - 出力：受け入れ入力： BAA - 出力：承諾入力： AAA - 出力：拒否

2熱

1答えて

有限オートマトンから状態除去による正規表現へ

私はこの有限オートマトンを状態除去を使って正規表現に変換しようとしています。状態を削除するときは、すべての発信と着信の遷移を調べ、すぐに削除される状態になっているすべてのパスが保持されることを確認する必要があります。しかし、私はまだ全体のコンセプトがちょっと混乱していることがわかります。私は試みた練習問題のイメージを付けました、そしてそれが正しいかどうか疑問に思っていました。私はこれらのタイプの問

1熱

2答えて

正規表現、オートマトン理論を簡略化する

最近、言語の正規表現を理解する必要がありました。 {w | | w |奇数であり、wはアルファベット{a、b}の上に始まり、記号b}で終わる。は、私は解決策が非常に長いので、私は期待していた誰かが、私はこれを簡素化することができる方法を伝えることができ

0熱

3答えて

最終状態なしで有限オートマトンが存在することはできますか？

言語を受け入れることができない言語アクセプタを構築することは意味がありません。私は特にトランスデューサではない言語や言語を翻訳するトランスレータを受け入れるFAについて話しています。

0熱

1答えて

通常の言語クロージャが挿入されている

アルファベットΣの正規言語Lがあるとします。途中に記号を挿入すると、言語L 'がまだ正規の言語であることをどのように表示するのですか？たとえば、Lには2つの部分文字列uとv（w = uv）からなる文字列wが含まれています。正規言語L 'に文字列uxvが含まれていることを示します。 uとvは同じ長さである必要はなく、xも同じアルファベットΣであることに注意してください。ありがとうございました！

4熱

3答えて

OCaml：リスト内の要素の組み合わせ、関数的推論

私はOCamlでコーディングに戻っています。私はそれを逃してしまったので、私はこの言葉で私の推論を完全に失いました。私がしたいことは、n個のリストのセットの間の要素の組み合わせです。私はまず、任意のサイズの2つのリストの間で要素の組み合わせを試みることによって問題を分解しました。リストをl1 = [1;2;3]とl2 = [10,20]とする必要があるとします。私が何をしたいかは、以下のリ

1熱

1答えて

オートマトンは、n> = 1、奇数nの2つの状態を使ってba ^（n）を受け取ります。

2 states ("O" and "E")でオートマトンを描画するように頼んでいる私の試験では、最終状態がba^(n),for n>=1であり、nは奇数。私はを45分で過ごしました。私はそれが正しいとは思わないのです。どのように描画しますか？

0熱

1答えて

どのような形式は属しておらず、より強力である/等しい

私はこの形式のリストを持っており、彼らの表現力に応じてそれらを注文する必要もあり、そのうちの1つは本当に属しません。 Context-free Grammar(CFG) Deterministic Finite Automata(DFA) Deterministic Pushdown Automata(DPDA) LR(0) Grammar LR(1) Grammar Nondeterm

0熱

2答えて

英語の文章の文法を検証するために、（音声タグの一部であるposタグ付きの）利用可能なCFGはありますか？

100％正確ではないかもしれませんが、まだ書かれテストされたCFGがあります。はnltkデータで利用できますか？