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

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

1
決定論的対非決定論的最小ヒープオートマトンの計算能力
これは、のフォローアップの質問です、この1。 エキゾチックステートマシンに関する以前の質問で、Alex ten BrinkとRaphaelは、固有の種類のステートマシンであるmin-heapオートマトンの計算機能について説明しました。彼らは、そのようなマシンが受け入れる言語のセット（）が、コンテキストフリー言語のセットのサブセットでもスーパーセットでもないことを示すことができました。その質問の成功した解決と明らかな関心を考慮して、私はいくつかのフォローアップの質問をすることを進めます。HALHALHAL 決定論的および非決定論的チューリングマシンと同様に、決定論的および非決定論的有限オートマトンには同等の計算機能があることが知られています。ただし、決定性プッシュダウンオートマトンの計算能力は、非決定性プッシュダウンオートマトンの能力よりも劣ります。 決定的最小ヒープオートマトンの計算能力は、非決定的最小ヒープオートマトンの計算能力よりも小さいですか、または同等ですか？
2
空の文字列のλの起源は何ですか？
私は通常、空の文字列（空の単語または空の文字列）にシンボルを使用します。しかし、一部の人々は代わりにを使用することを知っています。λ εεε\varepsilonλλ\lambdaεε\varepsilon は「空」という言葉から派生したと思います。ただし、起源はわかりません。λεε\varepsilonλλ\lambda オートマトン理論には、オートマトンのイプシロン遷移があり、ラムダ遷移とも呼ばれます。たとえば、JFLAPソフトウェアは、デフォルトでイプシロン遷移のラベルにを使用します。λλ\lambda オリジンをグーグルで検索してcs.stackexchangeを検索しましたが、見つかりませんでした。誰もこれを説明するリファレンスを知っていますか？
4
オートマトンを「推測」する-どういう意味ですか？
非決定的プッシュダウンオートマトンは、複数の状態間で「選択」でき、決定論的プッシュダウンでは受け入れられないコンテキストフリー言語がいくつかあるため、決定論的プッシュダウンオートマトンは改良型であると認識しています。 それでも、私は彼らがどのように「選択する」かを正確に理解していません。たとえば、パリンドロームについては、私が見つけたすべての情報源は、オートマトンが単語の真ん中を「推測する」とだけ言っています。どういう意味ですか？ 考えられるいくつかの意味を考えることができます。 ランダムに1つの状態になるため、実際には言語にある単語を受け入れない可能性があります それはどういうわけか「あらゆる可能性」になりますので、最初のものが間違っている場合、他のどれかが正しいかどうかをテストします 私が知らないメカニズムがあり、それは単語の中間を選択し、したがってランダムではありませんが、オートマトンは常に正しい中間を見つけます。 これは単なる例です。私が知りたいのは、それ以前のまったく同じ状態に対していくつかの次の状態を持つオートマトンの仕組みです。
2
「生産」という言葉は、どのようにしてコンピューターサイエンスの文脈で「ルール」という言葉と同義語になったのでしょうか。
私は正式な言語と生産ベースシステム（ルールベースシステム）を研究していますが、これら2つの「生産」と「ルール」という言葉がコンピューターサイエンスの多くの文脈で同じことを意味する理由について少し混乱しています。 英語では、同じことを意味していないようです。私は英語のネイティブスピーカーではありませんが、ルールは人について話すときにやるべき/すべきでないこと、または何度も繰り返されると同じ結果が得られることを指し、いくつかのルールで機能すると言います（毎回同じであるいくつかのプロトコル/手順によって定義される動作方法）。 生産とは、完全に異なるものを指します...現在製造/生産されている物理的な商品またはソフトウェアのフェーズ。物理的または芸術的作品、文章、絵、誰かの身体的または精神的な能力で作られたものを作る行為。特定のものが生産されると言います。 しかし、コンピューターサイエンスでは、英語ではまったく異なるものを表すこれらの単語は、CSでは同じものを意味します。この用語はどのようにしてCSでも似たものになりました。 コンピュータサイエンスのための何らかの語源辞書がありますか。コンピュータサイエンスの用語がどのようになったのかを教えてくれる辞書？ ところで、興味深い事実：どちらの生産もルールもこのStack Exchangeサイトのタグではありません。
3
決定論的有限オートマトンで可能なすべてのアルファベットの遷移を定義することは必須ですか？
明日は私のプレゼンテーションであり、私の概念を明確にしたい… DFAでは、「各状態について、可能なすべてのシンボル（アルファベット）の遷移を定義する必要がある」と読みました。 各状態について、DFAではすべての可能なシンボルの遷移を定義することが必須ですか？そうでない場合は、例を挙げてください。
3
Kleeneスターオペレーターは、なぜKleene 'closure'オペレーターとも呼ばれますか？
cs / programming用語の語源を理解していない場合、それは通常、いくつかの重要な基礎概念を逃したか、誤解したことを意味することがわかりました。 KleeneスターがKleeneクロージャーとも呼ばれる理由がわかりません。非ローカル変数がバインドされているプログラミングのクロージャーに関連していますか？ ...リフレクションで、多分、それは閉じた表現形式で書かれたオープンエンドのセットを許可するからでしょうか？ ...古き良きゴム製のアヒルを説明する方法で、私は今それがそれであると推測しています、しかしまだ権威ある答えを歓迎します。
1
2つのNPDAの可能な交差点の計算
2つのNPDAの交差点に関するRaphaelの提案の支持： ましょうと文脈自由言語についてNPDAをとそれぞれ。我々はそれを知っていると仮定すると、文脈自由である、我々は（事実上）NPDA構築することができ用？A1A1A_1A2A2A_2L1L1L_1L2L2L_2L = L1∩ L2L=L1∩L2L = L_1 \cap L_2AAALLL どんなタイプのアルゴリズムでも受け入れられますが、実用的であるほど良いです。
3
停止の問題がLBAで決定できるのはなぜですか？
私はウィキペディアと他のいくつかのテキストを読みました 停止の問題は[...] 線形有界オートマトン（LBA）[および]有限メモリを備えた決定論的マシンで決定可能です。 しかし、以前には、停止する問題は決定できない問題であり、TMがそれを解決できないと書かれています！LBAはTMの一種として定義されているので、同じことがそれらに当てはまらないのですか？
4
グループ理論と形式言語のブリッジ定理
数学グループとCS フォーマル言語、またはチューリングマシンなどのその他のコアCSコンセプトを関連付けたりリンクしたりする自然な方法または注目すべき方法はありますか？ 参照/アプリケーションを探しています。ただし、セミグループとCS言語の間のリンク（つまり、有限オートマトン経由）を認識していることに注意してください。（セミオートマトンに関するこの文献は「グループオートマトン」を見たことがありますか？） 私は何年も前に、TM遷移テーブルをバイナリ操作、場合によってはグループ、おそらくTM状態テーブルの何らかの対称性に基づいて変換する1つの論文を見ました。それは特にそれを探求しませんでしたが、それも除外しませんでした。 また、特に、有限群の分類に関する数学研究の大部分に関して、TCSで何らかの意味や解釈がありますか？数学的研究のこの巨大な建物の「アルゴリズムレンズ」ビューとは何ですか？計算の潜在的な隠された構造について「言っていること」は何ですか？ この質問は、他のいくつかのメモから一部影響を受けています： TCSでの代数構造の使用 グロモフの定理に関するRJリプトン
1
ダミーのための単項二次論理
私はプログラマーであり、オートマトンに精通していますが、ロジックには精通していません。 私は論文で、この2つは非常に密接に関連していると読みました。確定的有限オートマトン（DFA）、ツリーオートマトン、および可視プッシュダウンオートマトンは、すべてモナド2次論理（MSO）に関連しています。オートマトンと（論文の）人はMSOとの関係を私に説明しようとしたが、彼らは常に論理とMSOの理解の強い背景を前提としている。 ロジックに関する本やコースを見ると、ほとんどが一次ロジックのみを処理しますが、これは非常に単純で、いくつかの概念のみで構成されています：変数、または、ない、含意、すべて、存在など 誰かが説明したり、説明できるリソースを教えてくれたりできますか？ 一次論理と対照的な二次論理とは何ですか？ モナドと非モナドのロジックとは何ですか？ なぜ二次論理が単項であることが決定可能になることが重要なのか、またはなぜこれが間違った質問なのか？ なぜ単項二次論理が決定可能か？ 少なくともDFAとの関係は？ それがリソースである場合、私がプログラマーであり、論理学者ではないことを前提とすれば良いでしょう。これは、それまでは数学が私にとって魔法のように感じるので、コードとしてどのように実装するかを理解したいということです;） 助けてくれてありがとう。とても感謝しております。
1
オートマトンの正規表現と文法の違い
オートマトンは初めてで、昨日だけ正規表現の簡単な紹介を受けました。正規表現を定義するさまざまなルールを読みました。しかし、正規表現と言語の文法を区別することはできません（正規表現の文法は教えられていません）。 文法は言語で有効な文字列を生成するのに役立つことを理解していますが、それが正規表現を定義するためのルールの状態です。それで、違いはどこにありますか？教授に聞いたところ、彼は正規表現は言語の最も基本的な文字列であり、文法はあらゆる言語の規則のセットであり、正規表現よりも高次であると言った。誰かがさらに詳細な情報を提供できますか？
3
NFAを使用せずに正規表現からDFAを作成する方法は？
目的は、正規表現からDFAを作成することであり、「通常のexp> NFA> DFA変換」を使用することはオプションではありません。それをどのように行うべきですか？ 私は教授にこの質問をしましたが、彼は私たちが直観を使うことができると言って、親切に説明を拒否しました。だから私はあなたに尋ねたかった。 「通常のexp> NFA> DFA変換」はオプションではありません。そのような変換は、かなり複雑な正規表現を変換するのに多くの時間がかかるからです。たとえば、特定の正規表現「regex> NFA> DFA」の場合、人間には1時間かかります。30分以内に正規表現をDFAに変換する必要があります。
3
NFAはイプシロン遷移をどのように使用しますか？
下の写真では、このNFAが何を受け入れているかを正確に把握しようとしています。 私を混乱させているのは、ジャンプ。ϵϵ\epsilonq0q0q_0 場合は入力すると、両方のシステムに移動しと（状態を受け入れますか）？000q0q0q_0 q1q1q_1 が入力された場合、システムは両方の移動します111q1q1q_1とq2q2q_2ますか？ 入力がない場合（空の文字列）、システムはq1q1q_1（状態を受け入れる）にのみ移動しますか
2
書き込み保護された入力を備えたシングルテープチューリングマシンは、正規言語のみを認識します
問題は次のとおりです。 入力文字列を含むテープの部分に書き込むことができないシングルテープチューリングマシンは、通常の言語のみを認識することを証明します。 私の考えは、この特定のTMがDFAと同等であることを証明することです。 このTMを使用してDFAをシミュレートするのは非常に簡単です。 ただし、このDFAを使用してTMをシミュレートする場合、問題が発生します。TM遷移場合、DFAはテープを右に読み取り、同じ状態遷移を行うことにより、確実にシミュレートできます。δ(q,a)=(q′,a,R)δ(q,a)=(q′,a,R)\delta(q,a)=(q',a,R) 以下のために、私はDFAだけ左に読み込み、店舗へのスタックか何かを持っていないため、左の動きをシミュレートするために、このDFAやNFAを使用する方法を見つけ出すことはできません。δ(q,a)=(q′,a,L)δ(q,a)=(q′,a,L）\delta(q,a)=(q',a,L) 別の方法を検討すべきですか？誰か私にいくつかのヒントを教えてもらえますか？ありがとう。
3
NFAが別のNFAのサブセットを受け入れるかどうかの効率的なテストはありますか？
したがって、正規言語が正規言語サブセットであるかどうかのテストは決定可能です。両方をDFAに変換し、計算してから、この言語が空かどうかをテストできるからです。RRRSSSR∩S¯R∩S¯R \cap \bar{S} ただし、これにはDFAへの変換が必要であるため、DFA、ひいてはテストアルゴリズムが、入力NFAの状態の数に関して指数関数的になる可能性があります。 多項式時間でこれを行う既知の方法はありますか？一般に、この問題はCo-NPが完全であることが証明されていますか？ では受け入れられるがでは受け入れられない単語は多項式証明者になるため、問題はCo-NPにあることに注意してください。RRRSSSR⊈SR⊈SR \not \subseteq S 編集：これは、そのような単語が状態の数で多項式になるという保証がないため、正しくありません。
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.