«fl.formal-languages» etiketlenmiş sorular

biçimsel diller, gramerler, otomata teorisi

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 . …
1
Kelimelerin yığının üzerine itilmesine izin veren, görünür şekilde aşağı itilen otomatik verilerin varyantları var mı?
Merak ediyorum, görsel olarak aşağı itilen otomata ile ilgili herhangi bir makale veya araştırma var, ancak tek harfler yerine kelimelerin yığına itilmesine izin veriyor musunuz? Alternatif olarak, εε\epsilon geçişlerine sembollerin itilmesine izin veren bir yapı da aynı hedefe ulaşabilir. Açıkçası, bu tür varyasyonlar oluşturulabilir, ancak VPA'ları ilginç kılan kapatma ve …
1
SAT için bağlama duyarlı dilbilgisi?
Kuroda'nın klasik bir sonucu olarak, karmaşıklık sınıfı NSPACE [ ]nnn (NLIN-SPACE olarak da bilinir), tam olarak bağlama duyarlı dillerin sınıf CSL'sidir . Bir çözüm için doğrusal boyutlu bir tahmin, defter tutma için en fazla lineer miktarda ek yük ile kontrol edilebildiğinden SAT'ın doyurulma problemi NSPACE [ ] 'dir. Bu SAT'ın …
2
LR ayrıştırma ile permütasyon cümleleri
Bir permütasyon ifade: permütasyonu ifade için standart (S) BNF bağlam bağımsız dilbilgisi tanımları bir uzantısıdır ihtiva üretimi (ya da eşit şekilde, nonterminallerdir) yoluyla . Permütasyon cümlesi pozisyonunda, bu prodüksiyonların her birini tam olarak bir kez görmek isteriz, ancak bu terminal olmayanların siparişiyle ilgilenmiyoruz.n A 1 A n{ A1, … , …
1
DFA'ların verimli birleştirilmesi?
Orada teorik kanıtlar DFAs kesiştiği için naif kartezyen ürünlü inşaat "Yapabileceğimiz en iyi" olduğunu söyledi. İki DFA'nın birleştirilmesine ne dersiniz? Önemsiz yapı, her DFA'nın bir NFA'ya dönüştürülmesini, bir epsilon-geçişinin eklenmesini ve ortaya çıkan NFA'nın belirlenmesini içerir. Daha iyisini yapabilir miyiz? Minimum birleştirme DFA'sının boyutunda bilinen bir sınır var mıdır ("önek" …
1
Tamlık ve Bağlama Duyarlı Diller.
Bağlama duyarlı diller (CSL) ve eksiksizlik ile ilgili iki soru ile ilgileniyorum : CSL için eksiksizlik kavramı var mı ve hangi diller eksiksiz? NP-tamamlanmış doğal CSL var mı? 2. için, kesinlikle CSL olan doğal NP-tam dilleri düşünebilirim (CSL NSPACE [ ], SAT bir CSL'dir ), ancak başka bir yol arıyorum, …
3
İndirgenemez diller
Bu mutlaka bir araştırma sorusu değildir. Meraktan sadece bir soru: "İndirgenemez" dilleri tanımlayıp tanımlayamayacağımı anlamaya çalışıyorum. İlk tahmin olarak, ile A ∩ B = ∅ ve | A | , | B | > 1 , aksi takdirde "indirgenemez" olarak adlandırın. Bu doğru mu:L=A⋅BL=bir⋅BL = A \cdot BA∩B=∅bir∩B=∅A \cap B …
2
Sonlu otomata üzerinde iyi tanımlanmış bir bölüm operasyonu var mı?
Arka fon: İki deterministik sonlu otomata A ve B verildiğinde, C'deki durumların A'daki durumların ve B'deki durumların kartezyen ürünü olmasını sağlayarak C ürününü oluştururuz. Sonra, geçişleri, başlangıç ​​durumunu ve son durumları seçeriz, böylece dil tarafından kabul edilir C, A ve B dillerinin kesişimidir. Sorular: (1) A'yı bulmak için C'yi B'ye …
2
sonlu kümeler için düzenli ifade boyutunu en aza indirme
Dilin spesifikasyonu olarak bir DFA'mız olsa bile , normal bir ifadenin boyutunu en aza indirmenin PSPACE-complete olduğu bilinmektedir . Dil sonluysa sonuçlar nelerdir? Bu problem iki modelde düşünülebilir: Giriş, dildeki tüm dizelerdir ve giriş boyutunu tüm dizelerin uzunluğunun toplamı ile ölçeriz. Giriş bir DFA'dır ve giriş boyutunu DFA'nın durum sayısına …
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 ∈ …
3
Genelleştirilmiş yıldız yüksekliği probleminde ilerleme?
Bir dilin (genelleştirilmiş) yıldız yüksekliği, dili genişletilmiş düzenli bir ifade ile temsil etmek için gereken Kleene yıldızlarının minimum iç içe yerleştirilmesidir. Sonlu alfabe üzerinde genişletilmiş düzenli ifadenin aşağıdakileri karşıladığını hatırlayın :birAA (1) ve , tüm için genişletilmiş düzenli ifadelerdira a ∈ A∅ , 1∅,1\emptyset, 1biraaa ∈ Aa∈Aa\in A (2) Tüm …
4
Bir polinomun ortak etki alanının Base-k gösterimleri - bağlamdan bağımsız mı?
Jeffrey Shallit'in Otomata Teorisinde İkinci Kursu bölüm 4'te aşağıdaki sorun açık olarak listelenmiştir: Let rasyonel katsayılı bu şekilde olan bir polinom tüm . İspat etmesini veya etmemesini o tüm tamsayılar taban-k temsiller dil bağlam serbest ise ve derecesi yalnızca p olduğunu \ leqslant 1 .p(n)p(n)p(n)p(n)∈Np(n)∈Np(n) \in \mathbb{N}n∈Nn∈Nn \in \mathbb{N}{p(n)∣n⩾0}{p(n)∣n⩾0}\{p(n) \mid …
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.