«formal-languages» etiketlenmiş sorular

Biçimsel diller, gramerler ve otomata teorisi ile ilgili sorular

4
Düzenli olmayan normal diller birliği
Bu soruya rastladım: "Birliklerinin normal bir dil üretmediği iki normal dilden örnekler verin." Bu benim için oldukça şok edici çünkü düzenli dillerin birlik altında kapalı olduğuna inanıyorum. Bu yüzden iki normal dil ve sendikayı onları alırsan, bunun bana vasıta olmalıdır düzenli bir dil olsun. Sanırım bunun kanıtını anlıyorum: Sözlerimde, diller …
2
Yazmaya karşı korumalı girişe sahip tek bantlı Turing Makineleri sadece Normal Dilleri tanır
İşte sorun: Bantın giriş dizesini içeren kısmına yazamayan tek bantlı Turing Makinelerinin yalnızca normal dilleri tanıdığını kanıtlayın. Benim fikrim, bu özel TM'nin bir DFA'ya eşdeğer olduğunu kanıtlamaktır. DFA'yı simüle etmek için bu TM'yi kullanmak çok basittir. Ancak, TM'yi simüle etmek için bu DFA'yı kullanmak istediğimde, sorunla karşılaşıyorum. TM geçişi DFA, …
3
CFG'ler için Chomsky normal form gibi normal formların önemi
Bağlamdan bağımsız gramerlerin bağlamdan bağımsız dilleri temsil etmek için kullanılabileceğini anlıyorum, belirsizlikleri olabilir. Chomsky ve Greibach normal formu gibi normal formlarımız da var . Bunun ihtiyacını anlayamadım. Dil teorisinde neden önemlidirler? Bahsettiğim tüm ders kitapları bu normal formları anlattı ama önemleri hakkında hiçbir şey söylemedi.
2
Eğer bir alt kümesidir , o zaman nasıl bunu gösterebiliriz düzenli edilir?
Diyelim ki, . Öyleyse nin düzenli olduğunu nasıl kanıtlayabiliriz ?L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*L∗L∗L^* Eğer düzenlidir, o zaman elbette bir da düzenlidir. Eğer sonludur, o zaman düzenli ve tekrar düzenlidir. Ayrıca, , nin düzenli olmadığını, ve nin düzenli olduğunu fark ettim .LLLL∗L∗L^*LLLL∗L∗L^*L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p \mid p …
7
Mı
Eğer düzenlidir, o takip eder düzenli mi?bir2A2A^2birAA Bir ispat girişimim: Evet, çelişki için düzenli olmadığını varsayalım . Daha sonra .birAAbir2= A ⋅ AA2=A⋅AA^2 = A \cdot A Normal olmayan iki dilin birleştirilmesi normal olmadığından düzenli olamaz. Bu varsayımımızla çelişiyor. Yani düzenli. Yani eğer düzenlidir sonra düzenlidir.bir2A2A^2birAAbir2A2A^2birAA Kanıt doğru mu? Bunu …
2
Normal İfadelerin dilinin ayrıştırılması için aşağı itmeli bir otomata ihtiyacı var mı?
Ben daha sonra eşleşen amaçlar için bir dize karşı NFA çalıştırabilirsiniz böylece bir kullanıcı girilen düzenli ifade NFA dönüştürmek istiyorum. Düzenli ifadeleri ayrıştırmak için kullanılabilecek minimum makine nedir? Köşeli parantezlerin sayılması, sayma ihtiyacı anlamına geldiğinden ve bir DFA / NFA rasgele sayma gerçekleştiremediğinden aşağı itmeli bir otomat olması gerektiğini varsayıyorum. …
4
Kararsız diller sınıfının kapalı olmadığı işlemler
Sendikaları / kavşakları / birleştirilmiş dilleri karar verilebilecek şekilde kararsız diller var mı? Genel olarak, kararlaştırılamayan diller bu işlemler altında kapatılmadığından, bu örneğin fiziksel yorumu nedir? Kleene kapatılması hakkında ne söyleyebiliriz? Bunun için de örneklerimiz var mı? Yani kararsız bir dilin kapatılması karar verilebilir mi? Ayrıca, bu tür kararsız sınıfları …
2
Bağlamdan bağımsız ve düzenli diller etkin bir şekilde karar verilebilir mi?
Bağlamdan bağımsız ve düzenli dillerin (uygun) etkili sorunların (sözde ) alt kümeleri olduğunu gösteren bu rakamla karşılaştım . Etkili sorunların tüm karar verilebilir sorunların bir alt kümesi olduğunu mükemmel bir şekilde anlıyorum çünkü bunları çözebiliriz, ancak çok uzun zaman alabilir.PP\mathrm{P} Neden tüm bağlam serbest ve düzenli diller verimli Karar verilebilen? …
2
2 yönlü DFA'lar için boşluk sorununun karmaşıklığı nedir?
Merak ediyorum, 2 yönlü DFA'lar için boşluk belirlemenin zaman karmaşıklığı nedir? Yani, salt okunur giriş bantlarında geriye doğru hareket edebilen sonlu otomatalardır. Wikipedia'ya göre, DFA'lara eşdeğerdir, ancak eşdeğer DFA katlanarak daha büyük olabilir. Tamamlayıcıları ve kavşakları için devlet karmaşıklığı buldum, ancak boşluk testleri için değil. Bunu bulabileceğim bir kağıt bilen …
4
Yıldızsız dil ve normal dil
Merak ediyordum ki, kendisi yıldızsız bir dil olduğundan, yıldızsız bir dil olmayan normal bir dil var mı? Bir örnek verebilir misiniz?bir*bir*a^* (dan wikipdia ) Lawson yıldızı içermeyen dilleri olarak tanımlar: Normal bir dilin, alfabenin harflerinden, boş küme sembolünden, tamamlama da dahil olmak üzere tüm boole işleçlerinden ve birleştirme, ancak Kleene …
1
Kanıtlamak için
Kanıtlamak isterim ki , kapatma özellikleri kullanılarak normal değildir.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Pompalama lemmasının normal bir dil değildir. Ayrıca tamamlayıcı işlem altında normal dillerin kapalı olduğunu anlıyorum. Ancak bu, normal olmayan bir dilin tamamlayıcısının da normal olmadığı anlamına mı geliyor?{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\}
2
Bir Turing makinesinin durdurulmasına eşdeğer matematik varsayımlar
Bu soru, her matematiksel teoremin tek bir Turing makinesinin durup durmadığı sorusuna indirgenip indirilemeyeceği ile ilgilidir. Özellikle, şu anda kanıtlanmamış varsayımlarla ilgileniyorum. Örneğin: Vikipedi diyor herhangi garip mükemmel sayılar olup olmadığını şu anda bilinmeyen olduğunu. Belirli bir sayının mükemmel olup olmadığına karar verilebildiğinden, her bir tek sayıyı sırayla kontrol eden …
3
Düzenli ifadeler neden birleşme, birleştirme ve yıldız işlemleri ile tanımlanır?
Bir düzenli ekspresyonu, ardışık olarak tanımlanır a ∈ Σaaa bazıları normal bir ifadedir,a∈Σa∈Σa \in \Sigma εε\varepsilon normal bir ifadedir, ∅∅\emptyset normal bir ifadedir, R ' 1 R, 2(R1∪R2)(R1∪R2)(R_1 \cup R_2) burada ve normal ifadelerdir normal bir ifadedir,R1R1R_1R2R2R_2 R ' 1 R, 2(R1∘R2)(R1∘R2)(R_1 \circ R_2) burada ve normal ifadeler normal bir …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.