«context-free-languages» etiketlenmiş sorular

Bağlamsız gramerleri (CFG'ler) içeren birçok makalede, burada sunulan bu gramer örnekleri, sıklıkla oluşturdukları dilin kolay karakteristiklerini kabul etmektedir. Örneğin: S→aaSbS→aaSbS \to a a S b S→S→S \to oluşturur {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 oluşturur …

25 fl.formal-languages  context-free  context-free-languages 

Merak ediyorum, görsel olarak aşağı itilen otomata ile ilgili herhangi bir makale veya araştırma var, ancak tek harfler yerine kelimelerin yığına itilmesine izin veriyor musunuz? Alternatif olarak, εε\epsilon geçişlerine sembollerin itilmesine izin veren bir yapı da aynı hedefe ulaşabilir. Açıkçası, bu tür varyasyonlar oluşturulabilir, ancak VPA'ları ilginç kılan kapatma ve …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

(Tara B Göre) DÜZENLEME: Hala ilgi duyarım referans başıma kağıt için kendim kanıtlamak zorunda gibi bu bir kanıtı için. Bu yazıda yer alan Teorem 4'ün kanıtını arıyorum: Liu ve Weiner tarafından Bağlamdan Bağımsız Dillerin Kesişme Hiyerarşisi . Teoremi 4: Bir boyutlu afin manifoldu boyutuna sahip olup, bunların her biri afin …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Let bir bağlam-dil ol. Tanımlama öncesi ve sonek kapatılması için , diğer bir deyişle, her içeren 'nin ön ve postfixes ve dolayısıyla kendisi. Benim sorum: bağlamdan bağımsız ve belirsiz bir dilbilgisine sahipse, için de aynı şey geçerli mi?LLLp p c ( L )ppc(L)ppc(L)LLLp p c ( L )ppc(L)ppc(L)LLLLLLLLLp p c …

10 fl.formal-languages  automata-theory  grammars  context-free-languages