«finite-automata» etiketlenmiş sorular

Düzenli ifadeleri aynı dili kabul eden (en az) NFA'ya dönüştürmek standart algoritmalar ile kolaydır, örneğin Thompson algoritması . Diğer yön daha sıkıcı görünüyor, ancak bazen ortaya çıkan ifadeler dağınık. NFA'yı eşdeğer normal ifadelere dönüştürmek için hangi algoritmalar var? Zaman karmaşıklığı veya sonuç büyüklüğü ile ilgili avantajlar var mı? Bunun bir …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

Otomata teorisinde, hepimiz otomatayı en baştan, sonlu otomata olarak okuruz. Bilmek istediğim şu ki, neden otomatlar sonlu? Açık olmak gerekirse, sonlu bir otomatın içinde ne var - alfabe, dil, düzenli ifadelerle yapılan ipler ya da ne? Ve (teoride) herhangi bir sonlu olmayan otomata var mı?

35 automata  finite-automata 

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 

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 

Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Turing makineleri hakkında bir sunum yapıyorum ve Turing Machines'i tanıtmadan önce FSM'lerde biraz bilgi vermek istiyorum. Sorun şu ki, birbirinden çok farklı olanı gerçekten bilmiyorum. İşte farklı olduğunu bildiğim şey: FSM, karşılaşılan karşılık gelen duruma bağlı olarak sıralı durumlara sahiptir; Turing makineleri, sonsuz bir "Bant" üzerinde okunan ve yazan bir …

27 terminology  turing-machines  finite-automata  machine-models 

Bu soru edildi göç o Bilgisayar Bilimleri Stack Exchange'de yanıtlanabilir çünkü yığın taşması gelen. 7 yıl önce göç etti . Düzenli bir ifade alıp ayrıştırma ağacını oluşturmak için basit bir düzenli ifade yazıcısı ve ayrıştırıcı oluşturdum. Bu ayrıştırma ağacından deterministik olmayan bir sonlu durum otomatı oluşturmak, temel normal ifadeler için …

26 automata  finite-automata  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 

Hesaplama Teorisi dersimde, sorunlarımızın birçoğu, sonlu otomata hakkında ifadeleri kanıtlamak için giriş dizesinin uzunluğuna indüksiyon kullanmayı içerir. Matematiksel tümevarımı anlıyorum, ancak dizeler çaldığında gerçek açıldım. Birisi adım adım böyle bir kanıt yapma sürecinden geçerse gerçekten çok memnun olurum. İşte bir örnek problem (Hopcroft ve Ullman 3rd Edition'dan Egzersiz 2.2.10): Aşağıdaki …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Tüm deterministik olmayan sonlu otomatalar eşdeğer deterministik sonlu otomata dönüştürülebilir. Bununla birlikte, deterministik bir sonlu otomata, bir durumdan işaret eden sembol başına sadece bir oka izin verir. Bu nedenle, devletleri NFA devletlerinin güç setinin üyeleri olmalıdır. Bu, DFA'nın durum sayısının NFA'nın durum sayısı açısından katlanarak ölçeklenebileceğini göstermektedir. Ancak, bunu nasıl …

20 automata  finite-automata  nondeterminism 

İ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 

Örneğin, alt dizeleri olmayan dizelerin kullanılmasına izin veren bir DFA'yı düşündüğümüzde 00veya 11aşağıdaki iki DFA'yı üretebilirim:

17 automata  finite-automata 

Dijital ardışık devre tasarımlarında FSM kullandım. Ama Sonlu Otomata'yı bilmiyorum. Birisi ikisi arasındaki 'temel' farkı anlamama yardımcı olabilir mi?

16 terminology  automata  finite-automata 

Deterministik bir sonlu otomat (DFA), tüm ve sadece normal dilleri kabul edebilen bir durum makine modelidir. DFA'lar, her bir durumun giriş alfabesinin tüm elemanları için bir geçiş sağlaması gerektiği şekilde tanımlanabilir (ve genellikle tanımlanabilir); diğer bir deyişle, geçiş fonksiyonu δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma \rightarrow Q bir (toplam) fonksiyon olmalıdır. …

16 formal-languages  automata  finite-automata