«fl.formal-languages» etiketlenmiş sorular

biçimsel diller, gramerler, otomata teorisi

1
Dil sınıfı hiyerarşilerini, kapanış özelliklerini vb. Gösteren bir kitap / anket kağıdı var mı?
Şu anda Düzenli ama Bağlam Ücretsiz'in altındaki dil sınıflarını içeren bazı Resmi Dil araştırmaları yapıyorum. Reversal-Bounded Multicounter Machines, Single-stack counter makineleri, deterministic CFL'ler vb. Şeylere bakıyorum. Bu dillerin özelliklerini özetleyen iyi bir kitap veya anket kağıdı bilen var mı merak ediyorum. Baktığım şeylerin çoğu, 1979 baskısında bile Hopcroft-Ullman kitabımda yer …
3
Bir dilin sonlu görünümünü karşılayan minimal DFA
Diyelim ki bir dil , ancak hangi dizelerin aslında dilin bir parçası olduğunu bilmez. Hepsini bir dil sonlu bir görünüşüdür: dizeleri sonlu grubu dilde olduğu bilinmektedir, ve şeritler bir sonlu grubu bilinmektedir dilde olmamak.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) Örneğin, Diyelim ki ve . dilinde , çünkü …
3
dışında “basit” bir dil mi?
Aşağıdaki özelliklere sahip bir dil L arıyorum: L bağlamsız olmamalıdır. L'nin tamamlayıcısı bağlamdan bağımsız olmamalıdır. (Bağlamsız dillerin en iyi örnekleri olarak ders kitaplarında gördüğünüz her şey, bu ikinci gereksinimin başarısızlığa uğradığı görülüyor.) L çok zor olmamalı, Örneğin, kararsız dillerin ilk iki gereksinime uyduğunu biliyorum, ancak istediğim, biraz "geliştirilmiş" bir otomat …
1
Benzersiz anahtarlara sahip XML ve JSON hangi resmi dil sınıflarıdır?
Bu soruyu id'in yanıtları olmadığı stackoverflow'dan taşıdım . JSON'un düzenli olup olmadığı konusunda benzer bir sorum vardı : JSON ve XML'nin her ikisi de genellikle bağlamsız diller olarak adlandırılır - her ikisi de esas olarak EBNF'deki resmi bir dilbilgisi ile belirtilir. Ancak bu sadece nesne anahtarlarının benzersizliğini gerektirmeyen RFC 4329, …
2
Belirli bir normal dilde sonsuz önek içermeyen alt küme var mı?
Sonlu alfabesinin üzerinde kelimelerin dizi öneki içermeyen bir başka bir öneki hiçbir iki ayrı kelime varsa. Soru: NFA olarak verilen normal bir dilin sonsuz önek içermeyen bir alt küme içerip içermediğini kontrol etmenin karmaşıklığı nedir? Cevap (burada Mikhail Rudoy'a bağlı olarak) : Polinom zamanında yapılabilir ve sanırım NL'de bile. Mikhail'in …
1
Bir fonksiyonu adı ne
Let bir dil ve olmayacak f : Σ ⋆ × Σ ⋆ → Σ ⋆ özelliğiyle iki parametreye bir işlev hepsi için x ve y , f getirileri bir unsuru L ancak ve ancak hem x ve y elemanlarıdır L :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . …
1
Yaylı bir homomorfizmanın varlığına karar verin
Aşağıdaki sorunu düşünün: X, y iki dizgisi verildiğinde, f (x) = y olacak şekilde bir dizgi homomorfizması olup olmadığına karar verin. Bu sorunun olduğunu göstermek kolaydır . Bu sorun hakkında söyleyebileceğimiz başka şeyler var mı? Örneğin, , hatta mi?N-PN-PNPc o NPcÖN-PcoNPPPP Bu sorun çok doğal görünüyor, bu yüzden iyice incelenmişse …
3
Düzenli ve bağlamdan bağımsız dillerde belirsizlik
Aşağıdaki iddiaların doğru olduğunu anlıyorum: Belirli bir CFG'deki bir dizenin iki ayrı türevi bazen aynı ayrıştırma ağacını dizeye bağlayabilir. Belirli bir CFG'de farklı ayrıştırma ağaçlarına atfedilen bazı dizelerin türevleri olduğunda, CFG belirsizdir. Belirsiz CFG'ler tarafından üretilen bazı bağlamsız diller de belirsiz CFG'ler tarafından üretilir. Bazı diller, onları üretebilen (ve bazıları …
2
Açık
(Tara B Göre) DÜZENLEME: Hala ilgi duyarım referans başıma kağıt için kendim kanıtlamak zorunda gibi bu bir kanıtı için. Bu yazıda yer alan Teorem 4'ün kanıtını arıyorum: Liu ve Weiner tarafından Bağlamdan Bağımsız Dillerin Kesişme Hiyerarşisi . Teoremi 4: Bir boyutlu afin manifoldu boyutuna sahip olup, bunların her biri afin …
2
CFL'lerin eşitliğine karar verilebilirlik
Aşağıdaki sorun çözülebilir: Bağlamdan bağımsız bir gramer verildiğinde, L ( G ) = ∅ ?G,GGL(G)=∅L(G)=∅L(G) = \varnothing Aşağıdaki sorun kararlaştırılamaz: Bağlamdan bağımsız bir gramer verildiğinde, L ( G ) = A ∗ mı?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Bağlamsız dilinin karar verilebilir eşitlik L ( G ) = M ile karakterizasyonu var mı?MMML(G)=ML(G)=ML(G) …
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.