«regular-languages» etiketlenmiş sorular

Normal dil sınıfını öğrendik . Düzenli ifadeler, sonlu otomatlar ve sol-doğrusal gramerler arasındaki herhangi bir kavram ile karakterize edilir, bu nedenle verilen bir dilin düzenli olduğunu göstermek kolaydır.REGREG\mathrm{REG} Yine de tam tersini nasıl gösteririm? Benim TA'm, bunu yapmak için, eldeki dili tanımlayamadıklarını, tüm düzenli ifadeler için (veya tüm sonlu otomatlar …

75 formal-languages  regular-languages  proof-techniques  reference-question 

Orada kanıtlamak için birçok yöntem vardır bir dil düzenli değildir , ama ne bazı dil olduğunu kanıtlamak için yapmam gerekiyor ise düzenli? Örneğin, nin düzenli olması durumunda, aşağıdaki L following ' nin de düzenli olduğunu nasıl kanıtlayabilirim ?LLLL'L′L' L': = { w ∈ L : u v = u ∈ …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Sınıfımda bir öğrenci, sonlu tüm otomataların kenarları geçmeden çizilip çizilemeyeceğini sordu (tüm örneklerin yaptığı gibi görünüyor). Elbette cevap olumsuz, dil için bariz otomatizasyon {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\}K5K5K_5 Sorum şu: Bu dil için her sonlu durum otomatının düzlemsel olmadığını nasıl gösterebiliriz ? Myhill-Nerode benzeri karakterizasyonlarla, dilin …

32 regular-languages  finite-automata  planar-graphs 

Iota ve Jot hakkında okuyordum ve bu bölümü kafa karıştırıcı buldum: Bir dizgenin sözdizimsel ağacının sola veya sağa dallayabildiği İota'nın aksine, Jot sözdizimi eşit biçimde sol dallanmadır. Sonuç olarak, Iota kesinlikle bağlam içermez, ancak Jot normal bir dildir. Anladığım kadarıyla hem Iota hem de Jot Turing'in eksiksiz olduğu. Fakat görünüşe …

32 regular-languages  programming-languages  turing-completeness 

Sadece ilk bölüm tamamlayan Hesaplama Teorisine Giriş tarafından Michael Sipser sonlu otomata temellerini açıklar. Düzenli bir dili sonlu bir otomat tarafından tanımlanabilecek herhangi bir şey olarak tanımlar. Ama neden normal bir dilin "düzenli" olarak adlandırıldığını açıkladığını nerede bulamadım? Bu bağlamda "normal" teriminin kökeni nedir? NOT: Acemiyim, lütfen basit bir şekilde …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Düzenli bir dili için , , uzunluğu sözcük sayısı olsun . (Bazı DFA Açıklama içermeyen geçiş matrisine uygulanabilir Ürdün kanonik formu ), bir o kadar büyük için gösterilebilir , nerede karmaşık polinomları ve vardır kompleksi "özdeğerler" dir. (Küçük için n , formu ek şartları olabilir C_k [n = k] , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

İşte normal ifadeler için bir varsayım: Normal ifade , uzunluğuparantez ve operatörleri yok sayarak içindeki sembollerin sayısı. Ör| R | | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2R,RR| R ||R||R|| 0∪1 | = | (0∪1 )*| =2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup …

25 formal-languages  regular-languages  regular-expressions 

DFA'ların ifade gücündeki NFA'lara eşdeğer olduğunu biliyoruz; en kötü durumda bize veriyor (ne yazık ki şimdi bu algoritmanın mucit biliyor musunuz) DFAs için NFA'ler dönüştürmek için bilinen bir algoritma da var bizim NFA olsaydı, devletleri S devletler.2S2S2^SSSS Sorum şu: En kötü durum senaryosunu belirleyen nedir? İşte belirsizlik durumunda bir algoritmanın …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Wikipedia , düzenli diller için pompalama lemmasının aşağıdaki tanımına sahiptir ... Let düzenli bir dil olması. Daha sonra, bir tam sayı vardır ≥ 1 sadece olarak , örneğin, her bir dize Bu olarak , en azından uzunluğunun ( "pompalama uzunluğu" olarak adlandırılır) olarak yazılabilir = (yani üç ayrılabilir alt dizeler).LLLpppLLLwwwLLLppppppwwwxyzxyzxyzwww …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Ben düzenli olmadığını kanıtlamak için pompalama lemma kullanmaya çalışıyorum .L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Şimdiye kadar sahip olduğum şey: nin düzenli olduğunu varsayalım ve p'nin pompalama uzunluğu olmasına izin verin , bu yüzden w = ( 01 ) p 2 p . Herhangi bir pompalama ayrışma düşünün w …

19 formal-languages  regular-languages  pumping-lemma 

İzin Vermek L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Mı düzenli?LLL Bu soru ilk bakışta şüpheli görünüyordu ve bunun ikili ana varsayımla bağlantılı olduğunu fark ettim . Benim sorunum, varsayımın henüz çözülmediği için, dilin düzenli olduğuna …

19 formal-languages  automata  regular-languages  finite-automata 

Aşağıdaki soruya takılıp kaldım: "Düzenli diller tam olarak sonlu otomatalar tarafından kabul edilen dillerdir. Bu gerçek göz önüne alındığında, eğer dili LLLbazı sonlu otomatlar tarafından kabul edilirse, LRLRL^{R} de bir sonlu tarafından kabul edilir; ters LLRLRL^{R} kelimelerinin tümünden oluşur ."LLL

19 formal-languages  regular-languages  automata  finite-automata 

Ayar: backreferences ile düzenli ifadeler tek dilli (1 sembol alfabe) Aşağıdaki ayar bu ayarda belirlenebilir mi? Backreferences ile düzenli bir ifade verildiğinde, normal bir dil tanımlar mı? Örneğin, (aa+)\1normal bir dil tanımlar, ancak tanımlamaz (aa+)\1+. Davanın hangisi olduğuna karar verebilir miyiz? Somutluk için, burada "backreferences ile düzenli ifadeler", örneğin, Perl …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Turing-decidable olan birçok (ve çok demek istediğim) sayılabilen dil var. Sayılamayan herhangi bir dil Turing'e karar verebilir mi?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Wikipedia'ya göre , herhangi bir normal dil için λ 1 …… , λ k ve p 1 ( x ) , … , p k ( x )LLL sabitleri vardır , böylece her n için uzunluk kelimelerinin s L ( n ) sayısı n, içinde L tatmin denklemiλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle …

17 formal-languages  regular-languages  combinatorics  word-combinatorics