«formal-languages» etiketlenmiş sorular

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

3
Dilleri Karmaşıklık teorisinde neden kullanmalı?
Neyin hesaplanabileceğini, ne kadar hızlı, ne kadar bellek ve hangi hesaplama modeliyle çalıştığını inceleyen hesaplama teorisine girmeye başlıyorum. Oldukça basit bir sorum var, ama bazılarınızın arkasındaki kavramı anlamama yardımcı olabileceğini umuyorum: Neden her şey DİL (yani normal diller ve bağlamdan bağımsız diller) kavramı ve tanımı etrafında toplanıyor? Ve bunlar bir …
4
En fazla üç eyaleti olan DFA tarafından kabul edilmeyen normal dil
Yalnızca üç durumu olan herhangi bir DFA tarafından kabul edilemeyen normal bir dili tanımlayın. Bunun nereden başlayacağından gerçekten emin değilim ve birinin bana bazı ipuçları veya tavsiyeler verebileceğini merak ediyordum. Pompalama lemmasının bir dilin düzenli olmadığını kanıtlamak için kullanılabileceğini anlıyorum, ancak bu durumda normal bir dil olmalıdır. Herhangi bir düşüncesi …
5
Afin fonksiyonun değerlerinin dili
Yaz n¯n¯\bar n ondalık genişlemesi için nnn (hayır lider ile 0). Let aaa ve bbb ile tamsayılar olmak a>0a>0a > 0 . aaa artı sabitinin katlarının ondalık genişlemelerinin dilini düşünün : M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Mı MMM düzenli? bağlamdan bağımsız? ( Afin fonksiyon grafiğinin dili ile kontrast …
5
Sonlu dizeler dizisi verilen bir gramer oluşturmak için bilinen bir yöntem var mı?
Okuduğum kadarıyla, çoğu gramer sonsuz sayıda dize oluşturmakla ilgileniyor gibi görünüyor. Ya başka bir şekilde çalışsaydın? Eğer m uzunluğunda dizeler verilirse, bu dizeleri ve sadece bu dizeleri oluşturacak bir dilbilgisi yapmak mümkün olmalıdır. Bunu yapmak için bilinen bir yöntem var mı? İdeal olarak bir teknik ismi araştırabilirim. Alternatif olarak, böyle …
3
Düzenli bir ifade sonsuz olabilir mi?
Normal ifadeler kullanılarak tanımlanabilen ve DFA / NFA (sonlu otomata) tarafından tanınabilen dillerin eşdeğer olduğunu biliyorum. Ayrıca dili için DFA mevcut değildir . Ama yine de normal ifadeler kullanılarak yazılabilir . Ancak, düzenli bir ifadeye sahip her dilin onu tanıyan bir DFA'ya sahip olduğunu biliyoruz (önceki ifademe aykırı). Bunun önemsiz …
1
Ws ile nasıl | w | = | s | ve w # s bağlamdan bağımsız olurken w # s değil mi?
( Öyleyse) ayırıcı neden iki dil arasında fark yaratıyor?##\# Diyelim ki: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} İşte olarak temsil eden bir kanıt ve gramer.LLLCFLCFLCFL Ve aşağıda için için bir kanıt ekliyorum :L#∉CFLL#∉CFLL_{\#} \notin CFL Does işareti gerçekten …
1
Sonsuz sayıda kurala izin veren CFG'ler ne kadar güçlü?
Son zamanlarda, bağlamsız gramerlerin sonsuz sayıda kurala sahip olmasına izin verirsek ne olacağını merak ediyordum. Açıkçası, bu tür sonsuz kural setlerine keyfi olarak izin verirsek, her dilLLL bazı alfabelerin üzerinde ΣΣ\Sigma bir CFG tarafından tanımlanabilir G=({S},Σ,R,S)G=({S},Σ,R,S)G = (\{S\},\Sigma,R,S) ile R={S→w∣w∈L}R={S→w∣w∈L}R = \{S \rightarrow w \mid w \in L \}. Ama …
3
Neden bir while döngüsünün küçük adım operasyonel semantiğinde durum değişmeden kalıyor?
Genellikle while döngüsü için yapısal işlemsel anlamsal gösterimde program durumunun değişmediğini görüyorum: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Benim için, bu sezgisel değil, eğer durum değişmezse (yani belleğin durumu aynı kalır) BBB …
2
Tekil dillerin kelime uzunlukları ile düzenliliği iki sayı toplamıdır. üç kare
Tekli dilleri düşünüyorum LkLkL_k, nerede LkLkL_k uzunluğu toplamı olan tüm kelimelerden oluşur kkkkareler. resmen: Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}L_k=\{a^n\mid n=\sum_{i=1}^k {n_i}^2,\;\;n_i\in\mathbb{N_0}\;(1\le i\le k)\} Bunu göstermek kolaydır L1={an2∣n∈N0}L1={an2∣n∈N0}L_1=\{a^{n^2}\mid n\in\mathbb{N_0}\}düzenli değildir (örneğin Pumping-Lemma ile). Ayrıca, her doğal sayının dört karenin toplamı olduğunu biliyoruz.k≥4k≥4k\ge 4 Bütün diller LkLkL_k o zamandan beri düzenli Lk=L(a∗)Lk=L(a∗)L_k=L(a^*). Şimdi davalarla ilgileniyorum k=2k=2k=2 …
1
Biçimsel diller arasında uygun izomorfizmler nelerdir?
Bir alfabe üzerindeki resmi dil nın bir alt kümesidir , yani bu alfabe üzerindeki bir kelime kümesidir. Karşılık gelen kümeler altkümeleri olarak geniş ölçüde eşitse, iki biçimsel dil ve eşittir . Karmaşıklık teorisindeki dilleri bir "problem" kavramını resmileştirmek için kullanabiliriz . "Genel olarak" genişleme eşitliğinin kararsız olduğu şikayet edilebilir, ama …
1
Başlangıç ​​/ kabul durumları farklı olan iki DFA tarafından kabul edilen diller arasındaki fark nedir?
Geçenlerde Math SE hakkında bir soru sordum . Henüz yanıt yok. Bu soru bu soru ile ilgilidir, ancak bilgisayar bilimine yönelik daha teknik detaylar. Verilen iki DFA'ler ve burada durumları kümesi, giriş alfabesi ve geçiş fonksiyonu ve aynıdır, başlangıç ​​durumları ve nihai (kabul eden) durumlar farklı olabilir. ve sırasıyla ve …
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.