«formal-languages» etiketlenmiş sorular

Biçimsel diller, gramerler ve otomata teorisi ile ilgili sorular

3
Bu dil ikiz primeler kullanılarak tanımlanmış mı?
İ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 …
3
Bir dilin bağlamdan bağımsız olup olmadığını test etme algoritması
Bir dilin bağlamdan bağımsız olup olmadığını test etmek için bir algoritma / sistematik prosedür var mı? Başka bir deyişle, cebirsel biçimde belirtilen bir dil verildiğinde ( gibi bir şey düşünün ), dilin olup olmadığını test edin . Öğrencilere tüm ödevlerinde yardımcı olmak için bir web hizmeti yazdığımızı düşünün; dili belirtirseniz …
1
Tekli alfabe üzerinden referanslarla düzenli ifadeler
Ayar: backreferences ile düzenli ifadeler tek dilli (1 sembol alfabe) Aşağıdaki ayar bu ayarda belirlenebilir mi? Backreferences ile düzenli bir ifade verildiğinde, normal bir dil tanımlar mı? Örneğin, (aa+)\1normal bir dil tanımlar, ancak tanımlamaz (aa+)\1+. Davanın hangisi olduğuna karar verebilir miyiz? Somutluk için, burada "backreferences ile düzenli ifadeler", örneğin, Perl …
3
Normal dildeki kelime sayısı
Wikipedia'ya göre , herhangi bir normal dil için λ 1 …… , λ k ve p 1 ( x ) , … , p k ( x )LLL sabitleri vardır , böylece her n için uzunluk kelimelerinin s L ( n ) sayısı n, içinde L tatmin denklemiλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle …
1
tamamlayıcısı için bir PDA oluşturun
Bunun mümkün olup olmadığını merak ediyorum, çünkü . Bu nedenle 'ın geri kalanından ayırabilecek bir PDA da kabul edebilir bu bana çelişkili geliyor.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\}{a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} Sanırım PDA'ların deterministik olmayan doğasından faydalanmalıyım ama fikirlerim bitti. Bazı tavsiyeler sunabilirseniz çok …
2
Dilbilgisi ve Otomata Dillerinde Karar Verme
Bu bir üniversitede CS kursuna çalışmaya ilişkin bir sorudur Not, bu ödev DEĞİLDİR ve bulunabilir burada Güz 2011 exam2 altında. İşte geçmiş bir sınavdan baktığım iki soru. İlki gibi görünüyorlar, ilki: İzin Vermek FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}\qquad \mathrm{FINITE}_{\mathrm{CFG}} = …
2
Sonlu otomatanın değiştirilmiş versiyonları tarafından kabul edilen diller
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. …
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.