automaton

7熱

1答えて

私はいくつかの入力データ型から出力データ型にストリームトランスフォーマを書きます。入力はユーザーによって行われるため、イベント間には時間があります。各入力はいくらかのリソースのロードを必要とするので、私は「未来を調べる」、すなわちすべての可能な入力を主計算に送り、その結果に基づいてリソースを事前ロードしたいと思う。現在、入力ごとに常に正確に1つの出力がありますが、最終的にこれを変更するのが面白く

2熱

1答えて

DFAよりもパワフルで、DPDAよりも強力です

有限オートマトンよりも強力ですが、確定的プッシュダウンオートマトンより強力ではないものはありますか？

10熱

1答えて

は、C++、私は言葉が決定性有限オートマトン</p> <p>Iのための遷移関数によって受け入れられているかどうかを決定する必要がありオートマトン理論の割り当てを、やっている

の中に非決定性有限オートマトンをシミュレートするためのコードを実装します次いで、入力は4つの整数で始まり、最初のオートマトンのための状態の数であり、次の、3番目の数字は、初期状態オートマトンの遷移の数であり、そして 6 8 0 2 2 5 0 0 a 0 1 a 1 1 b 1 2 c 1 3 c 3 4 d 4 4 d 4 5 d 3 aaabcccc aabbbbcd

1熱

1答えて

DMP構築の過程をKMPアルゴリズムで理解する方法

私は、書籍アルゴリズム4thのKMPアルゴリズムを学んでいます。私はアルゴリズムの大部分を理解することができましたが、数日の間、dfa構築のプロセスで立ち往生しています。例えば、ABABACのパターンをとってください。 Cに不一致がある場合（dfaの状態が5）、テキスト内の文字を右にシフトする必要があります。したがって、私たちが知っているパターン文字はBABAです。しかし、どのように建設中のDF

0熱

2答えて

言語を認識する「プッシュダウンオートマトン」の設計：a^n b^m | N <= M <= 3nの

私は私の試験のオートマトンと形式言語のために勉強して、私は言語を認識PDA設計する必要があります： a^n b^m | n<= m <= 3n を、私は若干のアイデアを持っているが、私はこだわっています最初の思考プロセスは、すべての「」と、それぞれ「」押し「A」は (q0, a, Z)= (q0, AZ) (q0, a, A)= (q0, AA) (q0, b, A)= (q1, A)

2熱

2答えて

正規表現エンジンdk.brics.automatonでUnicodeを使用できますか？

正規表現でUnicodeを使いたいです。たとえば、RegExp = "\ u0061"は "a"と一致します。しかし、dk.brics.automatonはこれをサポートしていないようです。一致する "u0061"が判明しました。私もRegExp = "\ u0061"とRegExp = "\\ u0061"を試しました。何も動作しませんでした。このツールの使用経験があれば、解決策を教えてくだ

-1熱

1答えて

なぜ言語が正規でないのですか？

言語が規則的でないことを示します。 L = {a^n b^m：n> m}

2熱

2答えて

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

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

1熱

2答えて

dk.brics.automatonパッケージのスレッドは安全ですか？

Apache Lucene usesBricsオートマトンパッケージの変更形態。しかし、Bricsスレッドは安全ですか？具体的には、ブロックすることなく、異なるスレッドから複数の同時オートマトンインスタンスを安全に処理できますか？

3熱

1答えて

ユニオン式のイプシロントランジションをスキップできますか（Thompsonの構築アルゴリズム）

以下の図では、どちらもNFAを交換できますか？そうでない場合はなぜですか？