context-free-grammar

    5熱

    1答えて

    HTMLの簡単なBison文法が必要です

    私はBisonのヘルプを見て、これを書いていますが、完全に正しいかどうかはわかりません。また、私はyylex()レキシカルアナライザ（それはFlexツールでなければならない）を処理する必要があります。文脈自由文法に関するいくつかの基本的なことを知っています。しかし、私はそれらを正しく実装する方法を知らない！ :( は、私はHTMLのためのシンプルなのBison文法をしたい質問です：？文法を以下に変
    html c grammar bison context-free-grammar 2011-01-22

    1熱

    2答えて

    文脈自由文法を仮定すると、生成された言語を調べることができますか？

    この文法で生成された言語を知るためにプロダクションルールを手動で適用する必要がありますか？これは面倒です、物事をスピードアップするためのトリック/ヒントはありますか？ G = {{S, B}, {a, b}, P, S} P = {S -> aSa | aBa, B -> bB | b} EDIT：私はMatajonの答え非終端記号によって生成された各言語について考えている良いものを、発見し
    recursion grammar context-free-grammar 2011-01-24

    79熱

    1答えて

    "現代"の正規表現の認識力

    現代の正規表現は実際にどのような言語クラスを認識していますか？ バックリファレンス（例：(.*)_\1）を持つ無制限の長さのキャプチャグループがある場合、正規表現は現在、非正規言語と一致しています。しかし、これだけでは、S ::= '(' S ')' | εのようなものと一致するには十分ではありません - 文脈自由な括弧の対の言語。 再帰正規表現（私には新しく、PerlとPCREには確信があります
    regex perl theory context-free-grammar language-theory 2011-01-30

    0熱

    1答えて

    CFG演算の優先順位/あいまいさ

    私はCFGで作業して以来、しばらくしていました。とにかく、私はすべての演算を適切に処理する特定の文法を持っていますが、最後には（私は他の標準的な演算を除外しています）。 S :: = S + T | S-T | T T :: = nonterminal | ID | -S | （S） 私が持っているすべてのもの...私は、-Sが-Tであるべきことを知っています。しかしそれに加えて..それは優先順位
    grammar context-free-grammar ambiguity 2011-02-01

    8熱

    2答えて

    ANTLRと他の形式のBNFを変換するツールはありますか？

    ANTLR文法構文と他のBNF構文を変換するツールはありますか？特定のバックナス - ナウアフォーム（BNF、EBNF、ABNF、W3C-BNF、XBNF ...）がいくつかあります。 see this list。 ANTLR文法構文はdescribed by examplesのように見えます。 ANTLR文法ファイルには文脈自由構文の仕様以上のものが含まれていますが、少なくとも共通部分集合を変換
    antlr context-free-grammar bnf 2011-02-01

    5熱

    1答えて

    例外を捕捉するための鉄道線図の拡張はありますか？

    鉄道図は文脈自由文法を視覚化する一般的な方法であり、これらの図にBackus-Naur Formをマップすることができます。しかしsome variants of BNF、例えばW3C-BNFは例外を許可します（文脈自由な言語は相違の下で閉じられないので、これらの例外は規則的でなければなりません）。私は鉄道の図で例外を含む文法を視覚化したいと思っています。私は自分自身の拡張をグラフィカル表記法に基
    context-free-grammar bnf 2011-02-01

    3熱

    1答えて

    文脈自由文法を左と右の再帰的にすることができますか？

    ex。 S-> S + T | T T-> U-T | U U - > ID | N 連合性は明らかに保持されません。しかし、私はそれがとにかく曖昧であるとは見えません。だから、これはあいまいではないcfgですか？
    context-free-grammar 2011-02-03

    2熱

    2答えて

    変換文法の問題

    S -> aB | lamda B -> bB Bは無駄な生産です。今すぐ削除した後 S -> a | lamda これは間違いありませんか？
    context-free-grammar 2011-02-03

    2熱

    1答えて

    Packratパーサの競合

    は、私はPackratパーサを持つ文字列ABCを解析しようとしますここ lazy val abc: PackratParser[AnyRef] = ab ~ "c" lazy val ab: PackratParser[AnyRef] = (ab | abc) ~ "b" | "a" def parse(in: String) = parseAll(abc, in) 私
    parsing scala grammar context-free-grammar shift-reduce-conflict 2011-02-12

    11熱

    2答えて

    言語が再帰的か再帰的に列挙可能かどうかを判断するには？

    言語（例えば、L = {a^nb^mc^s | 0 < = n < = m < = s}）は、規則的、文脈自由、再帰的、再帰的に列挙可能かどうかを判断する必要があります。 言語が正規であるか（動作するDFAまたは正規表現を見つけるか）文脈自由（PDAまたは文脈自由文法が動作するかどうか）を判断する方法は知っています。再帰的言語には、常に停止するチューリングマシンがあり、再帰的に数え切れないほどの言
    recursion computer-science context-free-grammar turing-machines 2011-02-16
最新の質問