grammar

    13

    3答えて

    は、LL文法が定義され:任意の生産A -> a|bために、以下の2つの条件が当てはまる場合だけ 文法はLLです。 FIRST(a)とFIRST(b)は互いに素です。これはbは、その後aがFIRST(a)とFOLLOW(A)は互いに素でなければならないですFOLLOW(A)で始まる任意の文字列を導き出すことができない、EMPTYを引き出すことができれば、彼らは両方のEMPTY を導き出すことができな

    14

    1答えて

    CRTPがテンプレート内で使用される場合(または一般にテンプレートパラメータが基本クラステンプレート引数として渡される場合)、using宣言でベースのメンバテンプレートに名前を付けることはできませんか? template< typename d > struct base { template<typename> struct ct {}; template<ty

    5

    2答えて

    ファイル全体をメモリにロードしないようにANTLRに指示することはできますか? 1つずつルールを適用し、ファイルの読み込みと同時にノードの最上位リストを生成できますか?また、分析されたノードを何らかの形で削除することも可能でしょうか?

    5

    1答えて

    私はAnTLR4でPythonの文法を実装していますが、私はINDENTとDEDENTと同じ問題に直面していますが、ここで説明:ANTLR4- dynamically inject token を私がしようとしているソリューションをすることができテルにより溶液を変換することですここに見つかりましたhttp://antlr3.org/grammar/1078018002577/python.tar.

    20

    1答えて

    私の質問は、一方ではApplicativeとMonadタイプのクラス、もう一方はChomsky階層の文脈自由文法と文脈依存文法のレベルです。 私は、タイプクラスと文法レベルの間には対応があると聞いています。この対応はどのくらい正確ですか? つまり、すべての文脈自由文法は、Applicative combinatorsよりも強力なものを使用して解析することはできません。また、文脈自由なApplica

    18

    1答えて

    一週間前、私は次のプロジェクトを開始しました。Javaコードの接尾辞を認識する文法です。 Java(Java.g4)用の公式ANTLRをベースラインとして使用し、いくつかのルールを追加し始めました。しかし、これらの新しいルールはまた、私も対処しなければならなかった左回帰を導入しました。 仕事の数日後、私はfollowing codeを持っていました。私がテストを開始したとき、私はまだ説明できない珍

    5

    2答えて

    J. Barkley Rosserの "Logic for Mathematicians"では、かっこが多すぎないように表記法を使用しています。論理記者がこの記法を使うのはいつかわかりませんが、1957年に最初に出版された本は知っていますが、1916年に出版されたJ. G. P. Nicod's paperもこの記法を使用しています。だから明らかに長い歴史を持っていますが、現代の論理学者はこれが好

    8

    1答えて

    IMP(eclipseプロジェクト)を使用してエディタを開発しているyaccファイルがあります。私のyaccファイルから。受け取ったyaccファイルにはルールとアクションが含まれています。しかし、私はLPGで使用される文法記述の規則だけを抽出したいと思っていました。これを行う1つの方法は、手作業でルールを抽出し、それをBNF構文に再フォーマットすることです(または、必要な方法に変換するプログラムを

    7

    1答えて

    私はPerlにとって非常に新しいので、新しいPerl 6文法機能を使用して優先順位を持つ演算子でドメイン固有の言語を作成したい。たとえば、 "1 + 2 * 6"を正しい方法で解析する。 これまでに見つかったドキュメント(例:this)には、優先順位の宣言がある演算子の文法規則の例はありません。 私はこの非常に単純な例を持って use v6; #use Grammar::Tracer; g

    5

    1答えて

    構文木(具体的な構文木)を抽象構文木に縮小する一般的な戦略は何ですか?、解析ツリーとして残した場合、私はの子を連結した場合 program statement_list statement_list statement definition p_type assignme