私はコンピューティング言語のテストのために勉強していますが、頭を悩ませているアイデアが 1 つあります。

通常の文法は単純であいまいさを含むことはできませんが、プログラミング言語に必要な多くのタスクを実行できないことを理解しました。また、文脈自由文法ではあいまいさが許容されますが、プログラミング言語に必要ないくつかのこと (回文など) が許容さ れることも理解しました。

私が問題を抱えているのは、通常の文法の非終端記号が終端または非終端記号の後に終端記号が続くこと、または文脈自由な非終端記号が終端記号と非終端記号の任意の組み合わせにマップされることを知ることによって、上記のすべてを導き出す方法を理解することです。 .

誰かがこれをすべてまとめるのを手伝ってくれますか?

コンピュータがユーザー提供の例によって正規表現を「学習」することは可能ですか?

明確にするために：

• 正規表現を学びたくない。
• テキストから部分を選択するか、開始または終了マーカーを選択することによって、ユーザーが対話的に提供する例から正規表現を「学習」するプログラムを作成したいと考えています。

出来ますか？Google で検索できるアルゴリズムやキーワードなどはありますか?

編集：回答ありがとうございますが、この機能を提供するツールには興味がありません。論文、チュートリアル、ソース コード、アルゴリズムの名前などの理論的な情報を探しているので、自分で何かを作成できます。

の特定のインスタンスによって文字列の最初の文字として一致する可能性のあるすべての文字のセットを計算できるようにしたいと考えていますjava.util.regex.Pattern。より正式には、特定の正規表現に相当する DFA を考えると、開始状態からのすべての出力遷移のセットが必要です。

例：

セットfirstには次の要素が含まれている必要があります。

何か案は？私は自分で DFA を構築し、関連する状態をそのように決定できることをよく知っていますが、そのような面倒なことは避けたいと思います (読んでください: それは私にとってそれほど価値がありません)。私のホスト言語は実際には Scala であるため、すべてのコア Scala ライブラリにアクセスできることに注意してください (それだけの価値があります)。

これらのルールを使って究極の笑いジェネレーターを作りました。あなたはそれをあなたの好きな言語で巧妙な方法で実装できますか？

ルール：

すべての反復で、次の変換が発生します。

私は現在、チョムスキーのヒエラルキーと、ヒエラルキーの各レベルを認識するオートマトンのタイプを学習する離散数学テストの勉強をしています。ほとんどのコンピューター言語は階層の「レベル 2 と 1」に分類されると教えられていますが、正確にはそうではありません。

私の質問は次のとおりです。

1. 各レベルに属する機能は?

2. これは理論的根拠にすぎませんか？Dennis Ritchie や James Gosling のような言語設計者は、C や Java を設計する際にこの点を考慮する必要があったのではないかと思います。彼らは？誰かがこれをどのように適用しますか?

3. チューリング マシンは階層のレベル 0 を認識していると言われています。もしそうなら、レベル0に属する言語機能はありますか? これはもしかしたら自然言語処理なのかもしれませんね。

これはプログラミングの問題というよりも、数学/形式言語/オートマトン/コンピューター サイエンスの質問であることはわかっていますが、命題と述語計算を超えた形式論理に関するわかりやすい教科書(判読不能なモノグラフではない) についてアドバイスを得ることができれば幸いです。特に単項二次論理とBüchi Automataに興味があります。

今のところ、 Bakhadyr Khoussainov、Anil Nerode によるAutomata 理論とその応用のみを見つけました。オートマトン、ロジック、および無限のゲームErich Grädel、Thomas Wilke (eds) 著。そして、通信システムの形式モデル: 言語、オートマトン、および単項の 2 次論理ベネディクト・ボリッグ....私の頭をはるかに超えています。

私は有限オートマトンと文法テストのために勉強していますが、この質問に行き詰まっています:

私は、私の作品は次のようにすべきだと信じています。

C の私のプロダクションでは、m と n の数をどのように記憶できますか? これはむしろ文脈自由文法でなければならないと思います。

私は jflap に大きく基づいたコースでオートマトンのテストのために勉強しています。問題は、ドキュメントがあまりないことと、jlap で見つけた this や this のようなサンプル オートマトンでは、次のテストに備えるには不十分です。

詳細はどこで確認できますか? サンプルのチューリング マシンが遷移付きのグラフとして示されている他のリソースも役立ちます。

検索の基本を学ぶことができるように、PHP で一意の単語のみを検索するにはどうすればよいですか?

質問用の多次元配列を作成する際にいくつかの問題がありました。

私の最初の失敗した試みは次のとおりです。

#1

このコードの問題は、各質問の単語を組み合わせていることです。explodeは一次元配列しか作れないらしいので使えないようです。

また、次のコードを実行して question_id を取得しようとして失敗しました。

#2

現在、コンピューター サイエンスの修士課程を受講しており、WPF でセル オートマトンを実装したいと考えています。レンダリング パフォーマンスは、200,000 個のセルを含む格子 (グリッド) を表示するのに十分でなければなりません。

WPF ではビジュアルの更新が非常に遅いため (ビジュアル ツリーと論理ツリーが原因)、レンダリングを行うには古き良き Picturebox (GDI+) を使用し、ソフトウェアの残りの部分を実装するには WPF を使用する方がよいでしょう。2 番目のオプションは、ピクセル シェーダー (HLSL) を使用することですが、WPF がマルチパス シェーダーをサポートしているかどうかはわかりません。

どう考えているか教えてください。