«fl.formal-languages» etiketlenmiş sorular

biçimsel diller, gramerler, otomata teorisi

1
P (PTime) ve Tip 1 (bağlama duyarlı) diller arasındaki tahmin edilen ilişki nedir?
Olup olmadığı bilinmiyor P⊆ CSLP⊆CSLP\subseteq CSL veya P⊈ CSLP⊈CSLP\not\subseteq CSL, nerede PPP , deterministik bir Turing makinesinde polinom zamanında karar verilebilen tüm diller kümesidir ve CSLCSLCSL , lineer sınırlı otomata tarafından karar verilen diller olan ile eşdeğer olduğu bilinen içeriğe duyarlı diller .N-SPA CE( O ( n ) )N-SPbirCE(Ö(n))NSPACE(O(n)) Birçok …
3
Belirsiz bir aşağı itmeli otomat tarafından kabul edilen en çok uzunluğunda bir kelime bulmanın sertliği
Sorun bildirimi : Let bir (potansiyel olarak nondeterministic) aşağı açılan da olmalıdır ve izin olması, giriş alfabe. kelimesi var mı st tarafından kabul edilen ?MMMbirA\cal Aw ∈bir*w∈A∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kMMM Bu problem NP-tamamlanmış mı? Çalışıldı mı? Böyle bir kelimeyi bulmaya izin veren bir algoritma var …
1
Dize dönüşümlerinin düzenliliğini kanıtlamanın bir yöntemi var mı?
Diller arasındaki dönüşümleri tanımlamak için bir dizi farklı model vardır. Sonlu durum transdüserleri ve string grafikler üzerinden MSO tarafından tanımlanabilir grafik dönüşümleri en iyi tanıdığım ikisi. 2 yollu sonlu durum dönüştürücülerinin (1 yollu muadillerinden daha etkileyici olan) ve MSO tarafından tanımlanabilir dize dönüşümlerinin, birleştiricileri kullanan daha az bilinen diğer bazı …
1
Bir monoidin sözdizimsel bir dili tanıdığı ifadesinin genelleştirilmesi monoid, monoid'i böler
Let sonlu bir alfabe olacak. Belirli bir dil için sözdizimsel monoid resmi dili teoride bilinen bir kavramdır. Ayrıca, bir monoid , bir bir morfizm varsa dilini tanır .AAAL⊆A∗L⊆A∗L \subseteq A^{\ast} M(L)M(L)M(L)MMMLLLφ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to ML=φ−1(φ(L)))L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L))) Sonra güzel bir sonuç elde ettik: Bir Monoid tanır eğer bir submonoid bir …
3
Biçimsel dil teorisinden örnekler
Cebirsel ayrıştırma teorisini öğreniyorum. İlk sorunum, biçimsel dil teorisine özgü dönemsel örnekleri belirlemek. İşte iki örnek oluşturma girişimi. 1 CNF dilbilgisi göz önüne alındığında, teremenin öğeleri, işlemlerle birlikte terminal ve terminal olmayan simgeler kümesidir: i) Çarpma , CYK kuralına göre iki setin birleştirilmesi. Örneğin CNF dilbilgisi verildi s: p p …
1
Değişmeden düzenli ifadeler
Düzenli ifadelerin kısıtlanmasıyla hangi dillerin üretildiğini merak ediyordum. Tüm kısıtlamaların,ΣΣ\Sigmave birleştirme. Daha sonra, tamamlayıcı / olumsuzlama, değişiklik / birlik ve Kleene yıldızı varlığı veya yokluğu ile sekiz sınıf oluşturulabilir. (Evet, 'normal' normal ifadelerin birCC^C operatör, ancak burada uygun.) Değişime izin veren ifadeler ve tamamlayıcı olsun ya da olmasın Kleene yıldızı …
2
Chomsky normal form yöntemi: CYK ayrıştırıcı performans sonuçları?
Grafik ayrıştırıcılar Chomsky normal formuna veya doğrudan üretim kurallarına dayalı olarak uygulanabilir. Şimdilik Chomsky normal formunu kullanan bir CYK grafik ayrıştırıcısı olduğunu varsayalım. İkilleştirme benzersiz olarak tanımlanmamıştır. Bu CYK grafik ayrıştırmasının performansını etkiler mi? Bu bir CYK grafik ayrıştırıcısının performansını artırmak için kullanılabilir mi?
1
Bu sonlu dili tanımlayan polinom boyutlu CFG var mı?
Permütasyon var mı π1,π2π1,π2\pi_1,\pi_2 ve polinom boyutu | w | =n|w|=n|w|=n) sonlu dili tanımlayan bağlamsız gramer { wπ1( w )π2( w ) }{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} alfabenin üzerinde { 0 , 1 }{0,1}\{0,1\}? GÜNCELLEME: Bir permütasyon için ππ\pi bu mümkün. ππ\pi "Tersine çevirme", tersine çevirme veya tersine çevirmede nispeten küçük bir …
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.