タグ付けされた質問 「automata」

入力ストリームをシンボルごとに読み取り、状態遷移マップを使用して出力ストリームを生成する、おそらくセカンダリストレージを使用する数学デバイスに関する質問。

1
（木）言語がブチを認識できないことを証明する
私はツリーオートマトンについてのいくつかのノートをレビューしていて、教授が不完全に残した証拠を結論づけようとしています。ステートメントは次のとおりです。 しましょう A={a,b}A={a,b}A = \{a,b\} そして T={t∈TωA∣every path in t contains a finite number of a}T={t∈TAω∣every path in t contains a finite number of a}T = \{t \in T_A^{\omega} \mid \text{every path in $t$ contains a finite number of $a$}\}。証明してくださいTTT ブチは認識できません。 次のツリーのサブセットを定義できます tn⊆Ttn⊆Tt_n \subseteq T どこ t∈tnt∈tnt \in t_n 持っている …
3
オートマトンをXORする方法？
3つのDFAがあるとします。私たちはそれらをOR、AND、またはNOTする方法を知っています。しかし、それらをどのようにXORするのでしょうか。これについては、オンラインでの言及は1つだけではありません。 バツX O RyX O Rz= （（x | y）（¬ X | Y）| z）（¬ （（x | y）（¬ X | Y））| z）xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)x\; \mathrm{XOR} \;y\; \mathrm{XOR} \;z = ((x|y)(\neg x|y)|z) (\neg ((x|y)(\neg x|y))|z)。これは、描画するには複雑すぎて時間がかかります。別の方法はありませんか？ お時間をいただきありがとうございます！
1
チューリングマシンの補完を描画する方法？
何かをチューリングマシンに変える方法について、今ではかなり自信があります。今私の質問は、TMをチューリングマシンの補完物にどのように変換するかです。私が有限オートマトンで覚えていることから、それを補完すると、開始状態を終了状態に変えるだけで、終了状態がある場合は、開始状態にすることができます。チューリングマシンをどのように補完しますか？ たとえば、ここに私は回文の単純なTMがあり、回文が欲しいと思っています '
1
minとはどのような言語の場合| NFA | =Ω（最小| DFA |）？
通常の言語を検討する LLL。LETの最小DFAである及びの最小NFAである（特定の言語を認識するためのオートマトンの状態の可能な最小数の意味で最小）。書く オートマトンのサイズ（状態数）が。一般的に、よりはるかに小さい （最悪の場合、決定は指数関数であるため、まで）。D （L ）D（L）D(L)LLLN（L ）N（L）N(L)LLL| A ||あ||A|ああA| N（L ）||N（L）||N(L)|| D（L） ||D（L）||D(L)|lg| D（L） |lg⁡|D（L）|\lg |D(L)| 最小NFAがDFAのサイズの少なくとも一部であることが保証されている言語に興味があります：。通常の言語のどのファミリーにこの特性がありますか？言い換えると、となる言語のファミリーについて は？| N（L ）| ≥ K | D （L ）||N（L）|≥k|D（L）||N(L)| \ge k |D(L)|（Lん）（Lん）(L_n)| D（Lん）| = n|D（Lん）|=ん|D(L_n)| = n| N（Lん）| = Ω （n ）|N（Lん）|=Ω（ん）|N(L_n)| = \Omega(n)
2
オートマトンはπ計算に相当しますか？
チューリングマシンがオートマトンと同等の場合 λλ\lambda 微積分、オートマトンに相当するものは何ですか ππ\pi微積分？それは、チューリングマシンに似たある種のオートマトンであると思いますが、通信チャネルまたは特定のタイプの信号をサポートしていますが、確信が持てず、方向性を高く評価します。
2
サブストリングマッチングのオートマトン
与えられたいくつかのアルファベットを超える文字列として、含まれている任意の文字列を受け入れ、対応する決定性有限オートマトン（DFA）を計算するために最もよく知られたアルゴリズム何である？ssssss 私は主に最も短い時間の複雑さに関心を持っているので、O表記で最もよく知られている複雑さを教えてください。
2
効率的なサブセットテストまたは明確な変換を可能にするNFAのクラス
私はNFAとそれらの包含問題に関していくつかの研究をしています。一般に、包含の問題と明確なNFAへの変換はどちらもPSPACEで完全であることを知っています。 これらを効率的に決定できるNFAのサブクラスはありますか？特に、私が見ているNFAは、すべての単語が同じParikhベクトルを持つ有限言語を受け入れます。
1
GNFAアルゴリズムを使用してNFAを正規表現に変換しますか？
だから私は長い間これを解読しようとしてきました、そして私はこの質問についてループに入っているようにほとんど感じます。 次のNFAがあるとします。 GNFAアルゴリズムを使用して、正規表現を取得します。 私はあなたが最初のステップ（空の状態を追加する）のために以下を持っていることを理解しています： 次のステップは、状態[q1]を削除することです。 最後に[q2]を削除すると、次のようになります。 しかし、他の人が持っている答えがある： 私が得たとして意味をなさない、？GNFA（一般化非決定性有限オートマトン）は次のように記述されます。（∪ Bb∗a）∗bb∗（a∪bb∗a）∗bb∗(a \cup bb^*a)^*bb^*a∗B （B ∪ Aa∗b）∗a∗b（b∪aa∗b）∗a^*b(b \cup aa^*b)^* GNFAはNFAに似ていますが、特定のルールに従う必要があります。 受け入れ状態は1つだけです 初期状態には遷移がありません 受け入れ状態には、そこから出てくる遷移はありません。 遷移は、アルファベットの記号だけでなく、任意の正規表現を表すことができます。記号は、正規表現の一種であることに注意してください。 さらに、次のようにNFAをGNFAに変換する場合があります。 ε遷移を伴う新しい開始状態を古い開始状態に追加する 古い受け入れ状態からのε遷移を持つ新しい受け入れ状態を追加します。 矢印に複数のラベルがある場合、または2つの状態の間に複数の矢印がある場合は、それらをそれらのラベルの和集合（または）に置き換えます
2
DFAのこの交差は正しいですか？
上で定義されたすべての文字列の言語に対して、確定的有限オートマトン（DFA）を構築しています{ 0 、1 }{0、1}\{0,1\} 長さが偶数で数が 111sは奇数です。各DFAを個別に作成し、次に結合しました。 DFAを組み合わせるための所定の手順は正しいですか？ 編集：元々は労働組合を書いた。実際に交差点を取ります。 長さと数に制限がある場合、DFAの作成に関する資料を誰かが提案しますか000sまたは 111s？ Merbsのリンクによると、私はこのFAを開発しました。 このFAは、長さが均一の言語を受け入れません。
1
単純な文法と通常の文法の関係
ピーターリンツによって書かれた「形式言語とオートマトン入門」を読んでいて、最初の5つの章を読んだ後、互いに非常に似ている単純で規則的な（特に正しい線形）文法の問題に直面します。 これらの間にはどのような関係がありますか？違いはなんですか？（明らかにスタックを使用せずに）単純な文法の（非決定的）有限オートマトンを作成できますか？
1
状態遷移システムについて学ぶための良い参考資料は何ですか？
私は、連続動的システムを使用した計算の定義に関するさまざまなアプローチを研究しています。私は「状態遷移システム」の理論への素晴らしい入門書を見つけようとしてきましたが、それはできませんでした。 誰かがトピックの現代的な紹介を知っていますか？特に興味深いのは、計算可能性を扱うものです。
1
文脈自由文法をPDAに変換する—私のソリューションは正しいですか？
私は私の中間期を検討していて、誰かがエラーを見つけることができるかどうかを確認するためにこれを投稿したいと思います。私はこのCFGを認識するPDAを作成することになっています： SR→ R 1 R 1 R 1→ 0 R | 1 R | εS→R1R1R1R→0R|1R|ε\qquad\begin{align} S &\to R1R1R1 \\ R &\to 0R \mid 1R \mid \varepsilon \end{align} これが私の解決策です。私は自分の受け入れ状態の周りに2番目の円を描くのを忘れたことを知っています。
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.