«regular-language» etiketlenmiş sorular

Düzenli ifadelerle (Kleene anlamında) tanımlanabilecek biçimsel diller veya eşit olarak, sonlu otomata tarafından kabul edilebilecek diller hakkında sorular.

5
Belirsizlik ve Mantık
Otomata teorisinde (sonlu otomata, aşağı itmeli otomata, ...) ve karmaşıklıkta, "belirsizlik" kavramı vardır. En az iki farklı kabul çalışması olan kelimesi varsa, otomat belirsizdir www. Bir makinedir kkk her kelime için eğer -ambiguous en fazla orada makine tarafından kabul edilen kabul etmek ayrı koşular .wwwkkkwww Bu kavram bağlamdan bağımsız gramerler …
2
Bir NFA, aynı normal dilin minimum Belirsiz Sonlu Otomatı (UFA) ile karşılaştırıldığında ne kadar küçük olabilir?
Belirsiz Sonlu Otomatlar (UFA), deterministik olmayan sonlu otomatlardır (NFA). Bir NFA denir kesin her kelime eğer En az bir kabul yolu vardır.w ∈ Σ*w∈Σ*w\in \Sigma^* Bu anlamına gelir .D FA ⊂ UFA ⊂ NFbirDFbir⊂UFbir⊂N-FbirDFA\subset UFA\subset NFA Bilinen ilgili otomat sonuçları: NFA minimizasyonu PSPACE-Complete'tir. Sonlu diller üzerinde NFA minimizasyonu DP-Hard'dır . …
2
Kabul stratejisi ile Büchi otomatları
Sorun Let dil tanıma, bir Büchi da olmalıdır . Biz varsayalım aşağıdaki anlamda bir kabul stratejisi vardır: bir işlev yoktur pilot ishal için kullanılabilir . Bunu aşağıdaki şartlarla resmileştiriyoruz:L ⊆ Σ co bir σ : Σ * → S AA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA σ(ϵ)=q0σ(ϵ)=q0\sigma(\epsilon)=q_0 tüm ve , a ∈ …
4
Normal dillerdeki hiyerarşiler
Normal diller sınıfı içinde bilinen herhangi bir "hoş" hiyerarşisi (sonlu olabilir) var mı? Burada, her hiyerarşideki sınıflar farklı ifade / güç / karmaşıklık yakalar. Ayrıca, her sınıfın üyeliği bazı unsurlar tarafından "güzel" olarak gösterilmiştir (yıldız yüksekliği sorununun aksine sorunlu olabilir).L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dotsLLL Teşekkür ederim!
3
Otomata ve normal dillerde devlet karmaşıklığının önemi?
Ben "okuyorum Düzenli Diller ve Betimsel Karmaşıklık Birleştirme (Galina Jiraskova tarafından) iki normal dillerin birleştirme kaynaklanan devlet karmaşıklığına Galina Jiraskova, 2009 yılına kadar" ama devlet karmaşıklık pratik yansımaları olacağını anlayamıyorum . Beni etkileyen ilk önemsiz düşünce, daha yüksek karmaşıklığın makine tarafından daha fazla zaman ve yer gerektirmesiydi. Bu doğru mu? …
1
Bağlamdan bağımsız bir dilin düzenliliği için yeterli koşullar
Bağlamdan bağımsız bir dil L'nin düzenli olduğunu, yani formun koşullarını ima eden koşulların bir listesini toplamak iyi olur: "belirli bir CFG / PDA'nın P özelliği varsa, dilleri düzenli demektir" P özelliğinin, normal diller üreten CFG'leri tanımlaması gerekmez. Dahası, P'nin karar verilebilir olması gerekmez ve P, bir şekilde bağlamdan bağımsız olan …
2
Karşı örnekler olmadan otomatik veri öğrenme
In Angluin en otomata öğrenme çerçevesinde , bir öğrenci amaçları düzenli dil öğrenmek L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* hocasına soruların iki tür sorarak: Kelime sorguları: w∈Σ∗w∈Σ∗w\in \Sigma^* verildi , w∈Lw∈Lw\in L mi? Eşdeğerlik sorguları: K⊆Σ∗K⊆Σ∗K\subseteq \Sigma^* dili verildiğinde , K=LK=LK=L mi? Değilse, öğretmen bir karşı örnek verir, yani w∈K∖L∪L∖Kw∈K∖L∪L∖Kw\in K\setminus L \cup L\setminus …
1
Normal diller arasındaki mesafe
(ve / veya sonsuz kelimeler) arasındaki sonlu kelimelerin iki normal dili arasında "yakınlık" kavramını tanımlamak istiyorum . Temel fikir, iki dilden farklı olmadıkları takdirde iki dilin yakın olmasını istiyoruz. Düzenleme mesafesini bir şekilde de kullanabiliriz ... Bu konuda iyi referanslar bulamadım.Σ∗Σ∗\Sigma^*ΣωΣω\Sigma^\omega Ben buna mesafe demiyorum çünkü tüm mesafe aksiyomlarının doğru …
4
(N) Aynı başlangıç ​​/ kabul etme durumuna sahip DFA
Aynı başlangıç ​​ve kabul etme durumuna sahip sonlu otomatalar tarafından tanınan dil sınıfı hakkında bilinenler nelerdir? Bu, normal dillerin uygun bir alt kümesidir (bu tür her dil boş dize içerdiğinden), ancak ne kadar zayıftır? Basit bir cebirsel karakterizasyon var mı? Aynı başlangıç ​​ve kabul eden durumlara sahip deterministik olmayan otomatlar …
1
Normal dillerin dahil edilmesinin parametreli karmaşıklığı
Klasik sorun DÜZENLİ DİL KAPSAMI ile ilgileniyorum. Düzenli bir ifadesi verildiğinde , ile ilişkili normal dili belirtiriz . (Düzenli ifadeler , operasyon birliği, Kleene-star ve birleştirme ile sabit bir alfabe üzerindedir .)EEEL ( E)L(E)L(E)ΣΣ\Sigma Girdi: İki düzenli ifadeler ve Soru: Bu doğru mu ?E1E1E_1E2E2E_2 L ( E1) ⊆ L ( …
3
Düzenli ve bağlamdan bağımsız dillerde belirsizlik
Aşağıdaki iddiaların doğru olduğunu anlıyorum: Belirli bir CFG'deki bir dizenin iki ayrı türevi bazen aynı ayrıştırma ağacını dizeye bağlayabilir. Belirli bir CFG'de farklı ayrıştırma ağaçlarına atfedilen bazı dizelerin türevleri olduğunda, CFG belirsizdir. Belirsiz CFG'ler tarafından üretilen bazı bağlamsız diller de belirsiz CFG'ler tarafından üretilir. Bazı diller, onları üretebilen (ve bazıları …
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.