«regular-languages» etiketlenmiş sorular

Normal diller ve bireysel diller sınıfının özellikleri hakkında sorular.

1
Çıkarım arıtma türleri
İş yerinde dinamik bir dil hakkında bazı tür bilgiler çıkarmakla görevlendirildim. letİfade dizilerini iç içe ifadelere yeniden yazar , şöyle: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
5
Bir dilin düzenliliği hakkında yeterli ve gerekli bir koşul
Aşağıdaki ifadelerden hangisi doğrudur? bir dilin düzenliliği ile ilgili yeterli ve gerekli koşullar mevcuttur ancak henüz keşfedilmemiştir. Bir dilin düzenliliği hakkında yeterli ve gerekli bir koşul yoktur. Lemma pompalamak, bir dilin düzensizliği için gerekli bir koşuldur. Lemma pompalamak, bir dilin düzensizliği için yeterli bir koşuldur. Biliyorum # (4) doğru ve …
2
Verilen dizeleri kabul eden ve verilen diğer dizeleri reddeden en küçük DFA
Verilen iki takım alfabenin üzerinde dizeleri , biz (DFA) en küçük deterministik sonlu durum Otomaton hesaplayabilir öyle ki ve ?A,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Başka bir deyişle, bir dizi olumlu örneği temsil eder. her dizenin DFA tarafından kabul edilmesi gerekir. , bir dizi negatif örneği temsil eder. hiçbir dize …
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 …
3
DFA'nın tüm ikili form dizelerini kabul etmek için DFA
bölünebilen ikili sayıları kabul ederek DFA oluşturabiliriz .nnn Örneğin, 2'ye bölünebilen ikili sayıları kabul eden DFA aşağıdaki gibi oluşturulabilir: Benzer şekilde 3 ile bölünebilen ikili sayıları kabul eden DFA aşağıdaki gibi oluşturulabilir: Bu DFA türlerini oluşturmak için iyi tanımlanmış bir prosedürü takip edebiliriz. Bununla birlikte, biçiminin sayılarını kabul eden DFA'ları …
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 …
3
Mı düzenli?
Hesaplama teorisi sınavımı birkaç hafta önce aldım ve bu sorulardan biriydi: Dilini varsayalımL = { (birnbm)r∣ n , m , r ≥ 0 }L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L düzenli mi? Evetse, bunun için normal bir ifade veya bir otomat sağlayın. Sınavdan sonra kısaca ona cevap sorduktan sonra, gerçekten düzenli görünüyor …
4
Aynı sağ ve sol ilişkisel ürüne sahip kelimeler
Hopcroft ve Ullman kitabını kullanarak deterministik olmayan otomata çalışmaya başladım . Çok ilginç bulduğum bir probleme takıldım: Aşağıdaki tabloya göre çarpılarak soldan sağa sağdan sola değerlendirildiğinde aynı değere sahip tüm dizeleri kabul eden deterministik olmayan bir sonlu otomat verin: ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline …
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.