«context-sensitive» etiketlenmiş sorular

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ğlama duyarlı gramerleri anlamaya çalışıyorum. Dillerin neden hoşlandığını anlıyorum { w w ∣ w ∈ A*}{ww|w∈bir*}\{ww \mid w \in A^*\} { anbncn∣ n ∈ N }{birnbncn|n∈N-}\{a^n b^n c^n \mid n\in\mathbb{N}\} bağlam içermez, ancak türetilmemiş lambda hesabına benzer bir dilin içeriğe duyarlı olup olmadığını bilmek istiyorum. Basit, ama oyuncak olmayan bir …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

Bağlam duyarlı dilin Wikipedia tanımından geçiyordum ve bunu buldum: Her dil kategorisi, doğrudan üstündeki kategorinin uygun bir alt kümesidir. Her kategorideki herhangi bir otomat ve herhangi bir dilbilgisi, doğrudan üstündeki kategoride eşdeğer bir otomat veya dilbilgisine sahiptir. Doğrusal sınırlı otomatın makalenin sıralamasında doğrudan karar verenin altında olduğunu görebiliyordum. Bu durumda, …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Aslında içeriğe duyarlı Diller setinin, CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} kabul edilen diller), REGREG\mathbf{REG} (normal diller) veya CFLCFL\mathbf{CFL}(bağlamdan bağımsız diller). Ve ayrıca açık problemDSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))} "benzer" sorun kadar ünlü değil: "P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP}". Gerçekten böyle bir benzetme var mı? İçinde bir dil var mı CSLCSL\mathbf{CSL} içinde olduğu kanıtlanamadı DSPACE(O(n))DSPACE(O(n))\mathbf{DSPACE(O(n))} (sevmek …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Aşağıdaki dili açıklayan bağlama duyarlı bir dilbilgisi arıyorum: L = { w w ∣ w ∈ { a , b}*, | w | ≥ 1 }L={ww|w∈{bir,b}*,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . Benim gibi kuralların olmamasıyla ilgili problemlerim var X→ εX→εX \to \varepsilonizin verilir ve …

9 formal-languages  formal-grammars  context-sensitive