finite-automata

1熱

1答えて

Javaでペトリネットを着色するためのバインディングを実装する方法は？

私はJavaでcoloured petri netを実装しています。これは、有限状態オートマトンのようなものです。問題は、私が "バインディング"を実装する方法を知らないことです。言い換えれば、色を場所に割り当て、円弧を円弧に割り当てる必要があります。移行が実行された後、ネットは新しい状態になるはずです。だから、どのようにアークに関数を割り当てるかわかりません。 私はここで色のペトリネットの基本を

java binding finite-automata geometric-arc petri-net 2011-12-31

---

2熱

2答えて

ANTLRコモンツリーが正しいかどうかを確認するか、入力がANTLR文法に一致するかどうかをチェックする方法？

こんにちは私は与えられた入力に基づいて真または偽のブール式を返すjavaまたはC＃メソッドを実行したいです。例： if（入力がantlr文法と一致する場合） return true; else falseを返します。 問題は、私は、どのようにmontatchetokenがあるかどうかを確認する方法を知っていません。私は木を横切ろうとしましたが、樹木のノードとしてミスマッチトークンを与えませんでした

java compiler-construction antlr finite-automata antlrworks 2012-02-22

---

5熱

1答えて

1つのNFAが受け入れる言語が、別のNFAが受け入れる言語のスーパーセットであるかどうかを判断する効率的なアルゴリズムはありますか？

は、2つの非決定性有限オートマトンを考えるM1とM2、M1によって受け入れ言語はM2によって受け入れ言語のスーパーセットであるかどうかを決定するための効率的なアルゴリズムがありますか？

algorithm computer-science finite-automata regular-language nfa 2012-02-25

---

1熱

2答えて

の理解（および形成）上記オートマトン、私の教科書に与えられた正規表現のために、この有限オートマトン

の正規表現は、以下のとおりです。これを導出...次はそれで私の試みです：どちらか一方 aa* + aa*(ba*ba*ba*)* + ba*ba*ba* + ba*ba*ba*(ba*ba*ba*)* 私が間違っているか、私は与えられたフォームにそれを簡素化することができるというわけではありません 本。誰かがここで私を案内して、間違いを指摘したり、それを私にステップバイステップで説明してもらえ

regex finite-automata regular-language automata 2012-01-12

---

0熱

1答えて

（プログラミング）言語アクセプタの有限状態オートマトン

FSAが文字列「nice」を受け入れる方法はわかりましたが（Wikipediaのページに表示されています）、FSAが受け入れる言語はどのようにプログラミング言語ですか？ これはそうですか？私はアルファベットA = {1,2、+、 - }と言語L = {1 + 1,1 + 2,1-1,1-2}を持っていると言うと、私のFSAはこのように見えます。 -->[1]--1-->[2]--+-->[3]--

programming-languages finite-automata finite-state-machine 2012-01-12

---

0熱

1答えて

非決定的有限オートマトンを構築する

私は手書きレクサーをします。私は以前に作った3つの有限オートマトンを含む1つの非決定論的有限オートマトンを描く必要があります。飛行機、雲、滑走路などのキーワードを使って作成しました。私は助け、この3つのオートマトンの共通オートマトンを構築する方法が必要です。私はそれをする方法をいくつかの例が必要ですか？あなたが私を助けてください知っていれば??

lexer finite-automata 2012-04-23

---

2熱

2答えて

自己ループ上の2つの入力、確定的または非確定的な状態マシン？

ウィキペディアは、Deterministic State Automationが "入力文字列ごとにオートマトンの一意の計算（または実行）を生成する"と述べています。 私は、これは一意の文字列を計算するための可能なパスが1つしかないと常に理解しています。その場合、以下はDSMです。 しかし、私はこれを考えすぎて、記述を1つの可能なパスを持つ各入力文字列として解釈し、そのパスは他のすべての入力文字列

state finite-automata deterministic non-deterministic automaton 2012-04-24

---

3熱

2答えて

DFA最小化テストスイート？

私は、DFA最小化アルゴリズムの正確性をテストするために使用される確定的有限オートマトンのテストスイートを探しています。いくつか指摘していただけますか？または、そのようなオートマトンを生成するアルゴリズム/実装がありますか？ は恵みを獲得するためには、様々なサイズと複雑さの400以上の非最小限のオートマトン、2000個の以上のノードを含む少なくとも20のテストスイートを提出する必要があります。 こ

computer-science finite-automata 2012-01-18

---

-1熱

3答えて

2つの別々のグラフアルゴリズムをマージ/結合しますか？

私はこれによって私は、グラフ1の最後のノードがグラフ2 グラフ1の最初のノードのpredecesorなければならないことを意味し、グラフに併合又は結合するためのアルゴリズムが必要です。 1->2->3 \/ 4->5 グラフ2： 6->7 | \ 8->9 これは私が必要なものである： 1->2->3 \/ 4->5->6->7

java graph finite-automata 2012-03-12

---

2熱

1答えて

通常の言語のポンピング補題を満足する言語Lについて、そして文脈自由な言語のポンピング補題についても、何が言えるでしょうか？

言語Lは、通常の言語のポンピング補題と文脈自由言語のポンピング補題を満足します.Lについての次の陳述は本当ですか？ A.Lは必然的に通常の言語です。 B.Lは必ずCFLですが、Regularではありません。 C.Lは必然的に非規則的です。 D.いいえ 私は疑問があるところを明確にします。 Lが正規の言語のためのポンプ補題を満たすならば、それは必ずしも規則的ではない。文脈自由と同じです。したがって、

context-free-grammar finite-automata pumping-lemma 2011-12-07

---