«finite-automata» etiketlenmiş sorular

Bağlamdan bağımsız bir dil L'nin normal bir M dili ile kesişiminin her zaman bağlamsız olduğu söylenir. Ürünler arası yapı kanıtını anladım, ancak neden bağlamdan bağımsız olduğunu, ancak düzenli olmadığını anlamıyorum. Böyle bir kavşak tarafından üretilen dili PDA hem kabul edilir dizeleri vardır ve bir DFA. Bir DFA tarafından kabul edildiğinden, …

16 regular-languages  context-free  finite-automata  formal-grammars 

Brzozowski'nin DFA minimizasyon algoritması, DFA için asgari bir DFA oluşturur GGG: Tüm kenarları geri GGG , başlangıç durumunu alma bir durum kabul etmek ve NFA elde etmek için, başlangıç durumları kabul N′N′N' ters dil için, almak için Powerset inşaat kullanarak G′G′G' ters dil için, kenarlarını tersine (ve takas ilk olarak …

16 algorithms  finite-automata  runtime-analysis 

Son zamanlarda ilginç bir soru soruldu ve ardından silindi. Normal bir dil LLL , DFA karmaşıklığı onu kabul eden minimal DFA'nın büyüklüğü ve NFA karmaşıklığı onu kabul eden minimal NFA'nın büyüklüğüdür. En azından alfabenin boyutu sınırsız olduğunda, iki karmaşıklık arasında üstel bir ayrım olduğu iyi bilinmektedir. Gerçekten de, dil düşünün …

15 regular-languages  finite-automata 

Bir dil verilen , uzunluğu kümesini tanımlamak kelimelerin uzunluklarının kümesi olarak : L L L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Hangi tamsayı kümeleri normal bir dilin uzunluk kümesi olabilir?

15 formal-languages  computability  regular-languages  finite-automata 

Bu [komik] soruyu aklımda tutuyorum. Biz girdiler için geçişleri tanımlarken deterministik olmayan sonlu otomatiye neden deterministik olmayan denir . Peki, çoklu ve epsilon geçişleri olmasına rağmen , bunlar tanımlanır , bu da makinenin bu geçişler için belirleyici olduğu anlamına gelir. Yani belirleyici.

14 finite-automata  nondeterminism 

Bir alfabe Verilen , bu bir tarafından kabul edilebilir orada kaç farklı düzenli dillerdir n -devlet olmayan deterministik sonlu otomat?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn Örnek olarak ele alalım . Daha sonra 2 18 farklı geçiş konfigürasyonumuz ve 2 3 farklı başlangıç ​​ve bitiş durumu konfigürasyonumuz var, bu yüzden 2 24 …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Eşdeğer durumları bulup birleştirerek DFA'ları en aza indirebileceğimizi biliyorum, ancak NFA'larla neden aynısını yapamıyoruz? Bir kanıt veya benzeri bir şey aramıyorum - bir kanıtın anlaşılması daha kolay olmadıkça. Sadece sezgisel olarak DFA minimizasyonunun neden bu kadar zor olmadığını anlamak istiyorum.

14 complexity-theory  finite-automata  nondeterminism 

Aşağıdaki sorunun karar verilebilir olup olmadığını bilmek istiyorum: Eşgörünüm: n durumlu bir NFA A Soru: A'nın bazı uzunluk dizesini kabul etmesi için bir asal sayı p var mı? Benim inancım, bu sorunun çözülemez olduğu, ancak kanıtlayamıyorum. Karar verici, belirli bir sayının asal olup olmadığını anlamak için kolayca bir algoritmaya sahip …

14 computability  finite-automata 

Ben otomata kavrama ile programcı, ama mantık üzerinde değil. Makalelerde bu ikisinin çok sıkı ilişkili olduğunu okudum. Deterministik Sonlu Otomata (DFA), Ağaç Otomata ve Görünür Aşağı Açılan Otomata'nın tümü Monadik İkinci Mertebeden Mantık (MSO) ile ilgilidir. Her ne kadar otomatları anlıyorum ve insanlar (gazetelerde) MSO ile olan ilişkiyi bana anlatmaya …

14 automata  finite-automata  logic  coq  automated-theorem-proving 

Biçimsel dilleri ve üretim üssü sistemlerini (kural-temel sistemleri) inceliyorum ve bu iki kelime "üretim" ve "kural" ın neden Bilgisayar Bilimi'nde bu kadar çok bağlamda aynı anlama geldiği konusunda biraz kafam karıştı. İngilizcede aynı anlama gelmiyorlar. Ben anadili İngilizce değilim ama bir kuralın insanlar hakkında konuşurken yapması gereken / yapmaması gereken …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Yarın benim sunumum ve konseptlerimi temizlemek istiyorum… DFA'da "Her durum için olası tüm sembollere (alfabe) geçişin tanımlanması gerektiğini" okudum. Her bir durum için DFA'da olası tüm semboller üzerindeki geçişi tanımlamak zorunlu mudur? Değilse, lütfen herhangi bir örnek verin?

13 automata  finite-automata  nondeterminism 

Az önce hesaplama teorisi hakkında okumaya başladım. Hangisinin daha güçlü olduğunu (dizeleri kabul ederken) karşılaştırırsak, ikisi de aynıdır. Peki ya verimlilik? DFA, NFA ile karşılaştırıldığında hızlı olacaktır, çünkü sadece bir çıkış kenarı vardır ve belirsizlik olmayacaktır. Ancak NFA durumunda, olası tüm vakaları kontrol etmeliyiz ve bu kesinlikle zaman alır. DFA'nın …

13 finite-automata  efficiency  nondeterminism 

Aşağıdaki resimde, bu NFA'nın tam olarak neyi kabul ettiğini anlamaya çalışıyorum. Beni şey q 0'da ϵ sıçrama .ϵϵ\epsilonq0q0q_0 Bir Eğer girilirse, hem sistem hareket yapar q 0 ve q 1 (devlet kabul)?000q0q0q_0 q1q1q_1 Bir ederse girilirse, hem sistem hareket yapar q 1 ve q 2 ?111q1q1q_1q2q2q_2 Herhangi bir girdi verilmemişse …

12 automata  finite-automata  nondeterminism 

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 

Yani iki DFA verildiğinde, aynı dili üretebilirlerse bulma sorunu Karar Verilebilir bir problem midir? İki CFL Eşitliğinin Karar Verilemez olduğunu zaten biliyorum Peki ya iki DFA'nın Eşitliği? DFA'larla ilgili sorunların çoğunun karar verilebilir olduğu düşünüldüğünde, bu da karar verilebilir mi?

12 computability  automata  finite-automata  decision-problem