«context-free» etiketlenmiş sorular

Earley vektörünü tanıyıcı olarak kullanmak oldukça basittir: ipin sonuna ulaşıldığında, 0 konumunda başlayan tamamlanmış bir aksiyomatik üretimi kontrol etmeniz gerekir. En az bir tane varsa, o zaman dize kabul edilir. Ayrıştırma ağaç (lar) ını yeniden oluşturmak için Earley vektörünü kullanmak daha az belirgindir. Aslında, bir algoritmik prosedürün nasıl çalışacağını anlayamıyorum, …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

Bağlamdan bağımsız herhangi bir dilbilgisini aşağı itmeli bir otomata dönüştürmek için herhangi bir kural veya yöntem kümesi var mı? Zaten çevrimiçi olarak bazı slaytlar buldum ama anlayamadım. 10. slaytta kimse bunu açıklayabilir mi?

9 context-free  formal-grammars  pushdown-automata  simulation 

Kolejde genel olarak hesaplama teorisi ve Turing makineleri hakkında daha spesifik bilgi ediniyoruz. Büyük teorik sonuçlardan biri, potansiyel olarak büyük bir alfabe (semboller) pahasına, eyalet sayısını sadece 2'ye indirebilmenizdir. Farklı Turing Makineleri örnekleri arıyordum ve sunulan yaygın bir örnek Parantez eşleştiricisi / denetleyicisi. Esasen, örneğin bir parantez dizisinin (()()()))()()()dengeli olup …

9 turing-machines  context-free  parsers 

Bağlamdan bağımsız bir dili değiştirmeyi içeren bu sorunla karşılaştım. İzin VermekLLLbağlamsız bir dil olabilir. Her için tanımlayın . Mı daima bağlamdan-bağımsız? Benim tahminim bağlam-kurnazlığı koruyacağıdır. Herkes bunun temel bir kanıtı olabilir mi?L#={x:xi∈LL#={x:xi∈LL^{\#} = \{ x : x^i \in Li=0,1,2,...}i=0,1,2,...}i=0,1,2,...\}L#L#L^{\#}

9 formal-languages  context-free 

Theodore Norvell (1999) tarafından Özyinelemeli İniş ile İfadeleri Ayrıştırma makalesinde yazar aritmetik ifadeler için aşağıdaki dilbilgisi ile başlar: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v bu oldukça …

9 formal-languages  context-free  formal-grammars  left-recursion 

Yardımınızı aşağıdaki sorunla kullanmak istiyorum: L = { ⟨ M⟩ ∣ L ( M) içerik içermez }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Show that .L ∉ R E∪ Co R EL∉RE∪CoREL \notin RE \cup CoRE Ben kanıtlamak için biliyorum , bir dil bulmak için yeterlidir öyle …

9 formal-languages  computability  context-free  turing-machines 

Bir sonraki egzersizi çözmeye takılıp kaldım: Eğer iddia LLL bağlam içermez ve R,RR düzenli, o zaman L / R = { w ∣ ∃ x ∈ Rstw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} (yani doğru bölüm ) bağlam …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata