タグ付けされた質問 「context-free-languages」

3
文脈自由言語をキャプチャする正規表現の拡張機能はありますか？
文脈自由文法（CFG）を含む多くの論文で、そこに提示されているそのような文法の例は、しばしば生成する言語の簡単な特徴づけを認めています。例えば： S→aaSbS→aaSbS \to a a S b S→S→S \to 生成、{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a a S b S→S→S \to 生成、及び{aibj∣i≥j≥0}{aibj∣i≥j≥0}\{ a^i b^j \mid i \geq j \geq 0 \} S→aSaS→aSaS \to a S a S→bSbS→bSbS \to b S b S→S→S …
1
スタックへの単語のプッシュを許可する可視プッシュダウンオートマトンのバリアントはありますか？
目に見えてプッシュダウンのオートマトンを扱っている論文や研究はありますか？ あるいは、シンボルを -transitionsにプッシュできる構造は、同じ目標を達成できます。ϵϵ\epsilon 明らかに、そのようなバリエーションは形成される可能性がありますが、VPAを面白くする閉鎖性と決定性の特性を損なうのではないかと思っています。 私は、スタックをカウンタとして使用し、読み取られた最初のシンボルに基づいて定数でインクリメントし、読み取られた他のシンボルに基づいてカウントダウンする構造を探しています。 知らない人にとって、目に見えるプッシュダウンオートマトンは、アルファベットをプッシュシンボル、ポップシンボル、およびスタックにまったく影響を与えないシンボルに分割できるオートマトンです。プッシュとポップの選択は、読み取られている現在のシンボルによって完全に決定されます。交差点、結合、連結、星印、補数で閉じられているため、決定可能なプロパティが豊富にあります。詳細については、このペーパーを参照してください。
2
上
編集（タラB著）：私は自分の論文のためにそれを自分自身で証明しなければならなかったので、この証拠への参照にまだ興味があります。 この論文に登場する定理4の証明を探しています。 LiuとWeinerによる文脈自由言語の交差点の無限階層。 定理4：アン次元アフィンマニホールド寸法である各々がアフィンマニホールドの有限和集合として表現できませんN - 1以下です。nnnn−1n−1n-1 誰かが証拠への言及を知っていますか？ 多様体が有限であり、要素に自然順序を定義する場合、格子に関して同様のステートメントはありますか？ 定理を理解するための背景： 定義：レッツ有理数の集合とします。部分集合M ⊆ Qは Nであるアフィンマニホールド場合（λ X + （1 - λ ）Y ）∈ Mときのx ∈ M、Y ∈ M、及びλ ∈ Q。QQ\mathbb{Q}M⊆QnM⊆QnM\subseteq \mathbb{Q}^n(λx+(1−λ)y)∈M(λx+(1−λ)y)∈M(\lambda x+(1-\lambda)y)\in Mx∈Mx∈Mx\in My∈My∈My\in Mλ∈Qλ∈Q\lambda\in\mathbb{Q} 定義：アフィンマニホールドアフィンマニホールドと平行になるようにと言われているMであればM " = M + Aいくつかのため∈ Qのn。M′M′M'MMMM′=M+aM′=M+aM'=M+aa∈Qna∈Qna\in \mathbb{Q}^n 定理：各非空アフィンマニホールドのユニークな部分空間に平行であるK。このKは、で与えられるK = { X - Y ：X 、Y ∈ M …
1
プレフィックスとポストフィックスの下での明確な文脈自由言語の閉鎖。
してみましょう文脈自由言語であること。定義の前およびポストフィックス閉鎖であること、換言すれば、すべての含まの接頭辞と接尾辞を、ひいては自体。私の質問：にコンテキストがなく、な文法がある場合、についても同じですか？LLLp p c（L ）ppc（L）ppc(L)LLLp p c （L）ppc（L）ppc(L)LLLLLLLLLp p c（L ）ppc（L）ppc(L) この種の基本的な問題は、言語理論の全盛期にはすでに解決されていると思いますが、適切な参考文献を見つけることができませんでした。
1
有理関数とCFL
私の研究では、有理関数画像の下でCFLを分類する問題が発生しました。言い換えれば、どのようなクラスの言語が言語形成するか、固定文脈自由言語Lおよび決定論的有限状態トランスデューサ。中括弧が2つあるDyck言語がCFLに対応し、中括弧が1つあるDyck言語がCFLの厳密なサブセットであるような簡単な結果が得られましたが、今でも興味のある問題がいくつかありますが、まだ発見しています。この問題に関する論文はありますか？CFLまたは有理関数（決定論的FST）+ CFLのグーグル分類は悪い結果をもたらします。T（L ）T（L）T(L)LLLTTT
1
非CFLクロージャープロパティ
学生から次の質問を受けましたが、完全な答えを出すことができませんでした。 コンテキストフリーではない言語のクラスのクロージャープロパティはありますか？ 交差と反復の下で閉じていないことを示す例（Kleeneスター演算子）を見つけるのはかなり簡単ですが、結合と連結についてはどうでしょうか。私の推測では、どちらでも閉鎖されていないので、私が遠くに行かない限り、私が探しているのは、それらの結合または連結がCFLである2つの非CFLの例です。
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.