«formal-languages» etiketlenmiş sorular

Genel olarak hesaplama karmaşıklığı ve Chomsky hiyerarşisi arasındaki ilişkiyi merak ediyorum. Özellikle, bir sorunun NP-tamamlanmış olduğunu biliyorsam , bu sorunun dili bağlamdan bağımsız mıdır? Örneğin, kırpma sorunu NP-tamamlandı. Klipsli modellere karşılık gelen dilin Chomsky hiyerarşisinde minimum düzeyde karmaşıklık taşıdığı (modelleri dizeler olarak kodlamanın tüm / bazı yolları için) takip ediyor …

14 complexity-theory  formal-languages 

İki alt dizenin aynı sayıda örneğini içeren dillerin ne zaman düzenli olacağını merak ediyordum. Ben 1 ve 0'ların eşit sayıda içeren dil düzenli değil ama gibi bir dil olduğunu biliyoruz , = alt dize örneklerini sayısına "001" alt dize "örnekleri sayısına eşittir 100 " düzenli mi? "00100" dizesinin kabul edileceğini …

14 formal-languages  regular-languages  pumping-lemma 

Girintiye duyarlı diller için gramerler düşünüyordum ve CF gramerleri parametrelerle birleştirilirse hile yapacak gibi görünüyor. Örnek olarak, ANTLR benzeri formatta basitleştirilmiş Python dilbilgisi için bu parçayı düşünün: // on top-level the statements have empty indent program : statement('')+ ; // let's consider only one compound statement and one simple statement …

13 formal-languages  context-free  formal-grammars  parsers 

Biçimsel dilleri ve üretim üssü sistemlerini (kural-temel sistemleri) inceliyorum ve bu iki kelime "üretim" ve "kural" ın neden Bilgisayar Bilimi'nde bu kadar çok bağlamda aynı anlama geldiği konusunda biraz kafam karıştı. İngilizcede aynı anlama gelmiyorlar. Ben anadili İngilizce değilim ama bir kuralın insanlar hakkında konuşurken yapması gereken / yapmaması gereken …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Resmi dillerim ve otomata kursum için geçerli ödevi yaparken, tek dilde (umarım bu doğru terimdir), yani tek bir harf üzerine inşa edilen dilleri içeren alıştırmalara takıldım. Bununla birlikte, belirli alıştırmalar hakkında soru sormak istemiyorum, aksine daha genel bir varsayım hakkında: Let ve . Benim varsayımım:L = { a f ( …

13 formal-languages  regular-languages 

Bununla birlikte, pek çok "ünlü" kararlaştırılamaz sorun en azından yarı yarıya kesilebilir ve tamamlayıcıları kararsızdır. Her şeyden önce bir örnek durdurma sorunu ve bunun tamamlayıcısı olabilir. Ancak, birisi bana hem sorunun hem de tamamlayıcısının kararsız olduğu ve yarı kararsız olmadığı bir örnek verebilir mi? Köşegenleştirme dili Ld'yi düşündüm, ancak bana …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Matematik gruplarını ve CS resmi dillerini veya Turing makineleri gibi başka bir temel CS kavramını ilişkilendirmenin veya bağlamanın doğal veya kayda değer bir yolu var mı ? Referanslar / uygulamalar arıyorum. Ancak yarı gruplar ve CS dilleri arasındaki bağlantıdan haberdar olduğumu unutmayın ( sonlu otomata üzerinden ). (Semiautomata ilişkin bu …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Aşağıdaki sorun veya NP sertliğinin bir kanıtı için verimli bir algoritma arıyorum. Let bir dizi ve olmak A ⊆ P ( Σ ) alt kümelerinin bir dizi Σ . Bir dizi Bul w ∈ Σ * en az bir uzunlukta, örneğin her biri için bu L ∈ A , bir …

13 algorithms  formal-languages  encoding-scheme 

Birçok popüler dil var. Ancak, bilgisayar bilimcileri bize, bu dillerdeki programların davranışlarını kesinlikle ve açık bir şekilde program davranışına (örneğin kimliklerini kanıtlamaya) karşı koymak için, bunları başka, iyi anlaşılmış bir dile çevirmemiz gerektiğini söylüyor. Böyle bir dile "anlambilim" diyorlar. Yazarlar birçok anlambilimden birini önermektedir. Yapılarının anlamını ve dilinizi nasıl onların …

13 formal-languages  semantics 

Aşağıdakilerle ilgili yardımınızı gerçekten çok isterim: Herhangi bir sabit için aşağıdaki operatörler altında kapatma olup olmadığına karar :L2L2L_2 birr( L ) = { x ∣ ∃ y∈ L2: x y∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} birl( L ) = { x ∣ ∃ y∈ …

13 formal-languages  regular-languages  closure-properties 

, Σ = { a , b } alfabesi üzerinde normal bir dildir. L'nin w ∈ Σ ∗ ileilgilisol bölümü, w - 1 L dilidir : = { v ∣ w v ∈ L }LLLΣ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} nin düzenli olduğunu nasıl …

13 formal-languages  regular-languages  closure-properties 

Böylece, düzenli olmayan diller olduğunu biliyoruz Düzenli, ama bulabilirim tüm örnekler içeriğe duyarlı değil bağlam serbesttir.L*L∗L^* Hiçbiri yoksa bunu nasıl kanıtlarsınız?

13 formal-languages  context-free  regular-languages 

POSIX.1-2008 tarafından tanımlandığı şekliyle "Temel Düzenli İfadeler" alternatifi desteklememektedir a|b(bazı grep uygulamaları kaçan sürümü tanımasına rağmen \|). Normal diller tanım gereği birlik altında kapatıldığından POSIX BRE'nin sonlu bir otomattan daha az etkileyici gücü olduğu anlamına mı geliyor? Ya da diğer yapıları kullanarak değişimi simüle etmenin bir yolu var mı?

13 formal-languages  regular-expressions 

Sorun Normal ifade ile permütasyon almanın kolay bir yolu yoktur. Permütasyonu: Bir alınıyor kelime w=x1…xnw=x1…xnw=x_1…x_n başka bir siparişe ( "aabc"), sayı değiştirmeden veya tür mektupların. Normal ifade : Düzenli ifade. Doğrulama için: "Tekrarlama içermeyen normal ifade permütasyonları" Yanıt, daha basit olacağını varsayarak normal ifade yerine JavaScript kodu oluşturur. "Belirli bir …

13 formal-languages  regular-languages  regular-expressions 

Tüm normal dillerin düzenli ifadelerle ifade edilebileceğini düşündüm (eğer bir dil düzenli ise, normal ifade ile ifade edilebilir), ancak bunun için düzenli işlemlerin üçüne (birleştirme, birleşme ve yıldız) ihtiyacınız olduğu söylendi. tutmak. Örneğin, ben söylendi ben eğer sadece birlik ve birleştirme kullanmak (3 2 takım) regex işlemlerini, sadece bu ikisiyle …

12 formal-languages  regular-languages  regular-expressions  kleene-star