«context-free» etiketlenmiş sorular

dillerin sınıfını öğrendik . Hem ile karakterizedir bağlamdan-bağımsız gramerler ve Altbasımlı özdevinirler'in verilen bir dil bağlamından bağımsız olduğunu göstermek kolaydır böylece.C F LCFL\mathrm{CFL} Yine de tam tersini nasıl gösteririm? Benim TA'm, bunu yapabilmek için , eldeki dili tanımlayamadıklarını, tüm gramerlere (veya otomatlara) göstermek zorunda kalacağımızın farkındaydı. Bu büyük bir görev …

88 formal-languages  context-free  proof-techniques  reference-question 

Bağlamsız bir dille ilgili şu soruya rastladığımı hatırlıyorum, ancak bunun bir kanıtı bulamadım. Belki de soruyu yanlış anladınız mı? Neyse, işte soru: Bu dilin içerikten bağımsızdır.L={xy∣|x|=|y|,x≠y}L={xy∣|x|=|y|,x≠y}L = \{xy \mid |x| = |y|, x\neq y\}

43 formal-languages  context-free 

Bağlamsız Dilbilgisinin ne olduğu hakkında çevrimiçi birçok tanım var, ancak bulduğum hiçbir şey birincil sorunumu tatmin etmiyor: Hangi bağlamda özgür? Araştırmak için, "bağlam duyarlı dilbilgisi" kelimesini Googled'im ama yine de "bağlam" ın neyle ilgili olduğunu bulamadım. Birisi lütfen contextbu isimlerde terimin ne anlama geldiğini açıklayabilir mi?

30 terminology  context-free  formal-grammars 

Bir süredir derleyiciler üzerinde çalışıyorum ve dilbilgisinde "bağlam" ile neyin kastedildiğini ve dilbilgisinin "bağlamsız" olmasının ne anlama geldiğini araştırıyorum, ancak sonuçsuz. Peki, kimse bu konuda yardımcı olabilir?

29 terminology  context-free  formal-grammars 

Bir çift çiftim var. Her çift, (x, y) formundadır, öyle ki, x, y, aralıktaki tam sayılara aittir [0,n). Yani, n 4 ise, o zaman aşağıdaki çiftleri var: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Zaten çiftlerim var. Şimdi, n/2tamsayıların hiçbirinin tekrarlanmayacağı şekilde çiftler kullanarak bir kombinasyon oluşturmam gerekiyor (başka bir deyişle, …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Orada birçok teknik bir dil olduğunu kanıtlamak için değil bağlam içermeyen, ama nasıl bir dil olduğunu ispat yok olduğu bağlamdan-bağımsız? Bunu kanıtlamak için hangi teknikler var? Açıkçası, bunun bir yolu, dil için bağlamsız bir dilbilgisi sergilemektir. Belirli bir dil için bağlamsız bir dilbilgisi bulmak için sistematik teknikler var mı? Düzenli …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Aşağıdaki dil içeriği ücretsiz mi? L = { u x v y| U , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | x | = | y| ,X≠Y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Benim sorunum bir gramerin net olmadığını nasıl kanıtlayabilirim? Aşağıdaki gramer bilgisine sahibim: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } S \mbox{ else } …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Bağlamsız bir dilbilgisi G verildiğinde, G'nin kabul ettiği dili tam olarak kabul eden Nondeterministik bir Pushdown Otomatonu N yoktur. (ve tersi) Orada may ayrıca G de kabul aynen dili kabul eden bir Deterministik Aşağı Açılan Otomat D mevcuttur. Dilbilgisine bağlıdır. G'nin ürettiği algoritmalar ile D'nin var olup olmadığını belirleyebiliriz?

22 automata  context-free  pushdown-automata 

Makine hesaplama modellerini değerlendirirken, Chomsky hiyerarşisi normalde (sırayla), sonlu otomata, aşağı itmeli otomata, doğrusal bağlı otomata ve Turing Makineleri ile karakterize edilir. İlk ve son düzeyleri için 1 (düzenli diller ve ardışık enumerable dilleri), biz deterministik veya nondeterministic makineleri düşünün olsun modelin gücüne hiç fark etmez, yani DFA'ler NFA'lerde eşdeğer …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Bağlamdan bağımsız diller tamamlayıcı altında kapalı değildir , bunu biliyoruz. Bildiğim kadarıyla bir alt kümesidir, bağlamdan-bağımsız diller anlamak gibi Bazı mektuplar için bir , b tamamlayıcı altında kapalıdır (!?)a∗b∗a∗b∗a^*b^*a,ba,ba,b İşte benim argümanım. Her CF dili yarı doğrusal Parikh görüntüsüne sahiptir π ( L ) = { ( m , n …

20 formal-languages  reference-request  context-free  closure-properties 

Let en dikkate iki bağlamdan-bağımsız dilbilgisi ve G 2 ve aşağıdaki soruyu sorun: Is L ( G 1 ) = L ( G 2 ) , iki dilbilgisi eşdeğerdir edilir?G,1G,1G_1G,2G,2G_2L ( G1) = L ( G2)L(G,1)=L(G,2)L(G_1) = L(G_2) Genel olarak, bu problem çözülemez. Ancak, her iki durumunda ve G 2 …

19 formal-languages  context-free  formal-grammars 

Bir dilin bağlamdan bağımsız olup olmadığını test etmek için bir algoritma / sistematik prosedür var mı? Başka bir deyişle, cebirsel biçimde belirtilen bir dil verildiğinde ( gibi bir şey düşünün ), dilin olup olmadığını test edin . Öğrencilere tüm ödevlerinde yardımcı olmak için bir web hizmeti yazdığımızı düşünün; dili belirtirseniz …

19 algorithms  formal-languages  context-free  decision-problem 

Bağlamdan bağımsız bir dilbilgisi, bir otomattaki "ölü haller" gibi G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? ve üretim kuralları sonsuza dek dönecek ve asla bir kelime üretmeyecektir. Buna izin veriliyor mu yoksa üretim kuralları bir noktada bir terminalle mi sona …

18 context-free  automata  formal-grammars 

Bunun mümkün olup olmadığını merak ediyorum, çünkü . Bu nedenle 'ın geri kalanından ayırabilecek bir PDA da kabul edebilir bu bana çelişkili geliyor.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\}{a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} Sanırım PDA'ların deterministik olmayan doğasından faydalanmalıyım ama fikirlerim bitti. Bazı tavsiyeler sunabilirseniz çok …

16 formal-languages  automata  context-free  pushdown-automata