«regular-expressions» etiketlenmiş sorular

Amaç, normal bir ifadeden DFA oluşturmak ve "Normal exp> NFA> DFA dönüşümü" kullanmak bir seçenek değildir. Kişi bunu nasıl yapmalı? Bu soruyu profesörümüze sordum ama sezgiyi kullanabileceğimizi ve herhangi bir açıklama yapmayı reddettiğimizi söyledi. Bu yüzden size sormak istedim. "Normal exp> NFA> DFA dönüşümü" bir seçenek değildir, çünkü böyle bir …

12 automata  finite-automata  regular-expressions  simulation 

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. …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

İki rasgele düzenli ifade verildiğinde, aynı dizelerle eşleşip eşleşmediklerini belirlemek için "etkin" bir algoritma var mı? Daha genel olarak, iki eşleşme kümesinin kesişiminin boyutunu hesaplayabilir miyiz? Bunu yapmak için hangi algoritmalar var ve hangi karmaşıklık sınıfında yaşıyorlar? Kleene yıldızına izin vermezsek, bu resmi değiştirir mi?

12 algorithms  regular-expressions 

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 …

11 formal-languages  regular-languages  regular-expressions 

İş 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 

Doğru anlarsam, NFA normal ifadelerle aynı ifade gücüne sahiptir. Genellikle, NFA'dan eşdeğer düzenli ifadeleri okumak kolaydır: döngüleri yıldızlara, kavşaklara alternatif olarak çevirirsiniz. Ancak bu durumda ne yapmalı: [ kaynak ] Çakışan döngüler bu otomatiğin neyi kabul ettiğini görmeyi zorlaştırır (normal ifadeler açısından). Bir hile var mı?

11 algorithms  formal-languages  finite-automata  regular-expressions 

Düzenli ifadelere bakmanın bir yolu, aşağıdaki gerçeğin yapıcı bir kanıtıdır: küçük bir dil grubuyla başlayıp küçük, sabit bir kapatma özellikleri seti ile birleştirerek normal dilleri oluşturmak mümkündür. Özellikle, boş dil, boş dizeyi içeren dil ve tüm tek karakterli dizelerin dilleriyle başlarsak, birleşim, birleştirme ve Kleene yıldızı kullanarak tüm olası normal …

10 formal-languages  context-free  closure-properties  regular-expressions 

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 …

10 formal-languages  regular-languages  regular-expressions 

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ı …

9 regular-languages  automata  finite-automata  regular-expressions 

Resmi diller kolej dersim için çalıştığım için, normal ifadeyi kullanarak asal bir sayının nasıl bulunacağını açıklayan bu büyüleyici yazılara ( Bir İki ) rastladım . Dediğim gibi, bir regexp'in değil, bir normal ifade . Normal bir ifade, bir Sonlu Durum Otomatik Verileri tarafından hesaplanan dizelerle eşleşebildiğinden ve asal sayı bulmak …

9 regular-expressions 

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 …

9 formal-languages  regular-languages  regular-expressions