ネストと不等式を持つ文脈自由文法

Question

ネストと不等式を持つ文脈自由文法の例は見つかりませんでした。例えば

私はCFGを記述しようとしています、：

だから、

{aibjckdl : (i < l)^(j < k)}

、{aidl : (i < l)}ため、CFGは、単純に次のようになります。

S -> aSd | dS | d

それはについても同様だろうbおよびc。しかし、私は2つの文法をどのように入れ子にするかを理解することはできません。同様の例やポインタが役に立つでしょう。私の意見で

Answer 1

ここでは、あなたの質問への答えがあります。

S -> Ad | aSd | Sd 
A -> Ac | c | bAc 

をこの文法の背後にある概念は次のとおりです。最初に与えられ、その後の間に入れて、条件を満足し、dを有する式の一部を作成しますbとcの条件を満たす表現です。