«regular-languages» etiketlenmiş sorular

Verilen diller AAA ve , en kendi birleştirme diyelim olduğu kesin tüm kelimeleri eğer , bir ayrışma tam orada ile ve ve belirsiz aksi. (Bu özellik için belirlenmiş bir terim olup olmadığını bilmiyorum - aramak zor bir şey!) Önemsiz bir örnek olarak, kendisiyle birleştirilmesi belirsizdir ( ), ancak kendisiyle birleşmesi …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Tip 3 Dilbilgisi varsa, aşağı açılan bir otomatta (yığın üzerinde herhangi bir işlem yapmadan) temsil edilebilir, böylece bağlamsız dilleri kullanarak düzenli ifadeleri temsil edebilirim. Ama tip 3 dilbilgisinin ayrıştırma tablosu oluşturmadan , L L ( 1 ) , S L R ( 1 ) vb.L R ( 1 )LR,(1)LR(1)L L …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

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}} = …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

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 

Bilgisayar teorisinde "sonsuz" veya "sonlu" dil ifadelerinin kullanımı konusunda net değilim. Ben bu sorun kök benzeri bir dil olduğunu düşünüyorum olan sonsuz o sonsuz (ama sayılabilen) dizeleri sayısını üretebilir anlamda. Bununla birlikte, yine de sonlu bir durum otomatı tarafından tanınabilir .L = { a b }*L={ab}∗L=\{ab\}^* Ayrıca Sipser kitabının bu …

16 formal-languages  terminology  regular-languages 

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 

Normal bir dilde belirli bir uzunlukta kelime sayısının cebirsel bir karakterizasyonu var mı? Wikipedia bir sonucu kesin olmayan bir şekilde belirtiyor: Herhangi bir normal dil λ 1LLL sabitleri vardır ,λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k ve polinomlarp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\,\ldots,\,p_k(x) , örneğin, her içinnnn NumbersL(n)sL(n)s_L(n) uzunluğunun kelimelerinnnn deLLL denklemi karşıladığı, sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkns_L(n)=p_1(n)\lambda_1^n+\dotsb+p_k(n)\lambda_k^n . 'ların hangi alanda yaşadıkları ( C …

15 formal-languages  regular-languages  word-combinatorics 

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 

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şit sayıda 0 ve 1 içeren kelimelerin dilinin düzenli olmadığı, oysa eşit sayıda 001 ve 100 içeren kelimelerin dilinin düzenli olduğu bilinmektedir ( buraya bakınız ). İki kelime , eşit sayıda ve içeren kelimelerin dilinin düzenli olup olmadığı karar verilebilir mi?w 1 w 2w1, w2w1,w2w_1,w_2w1w1w_1w2w2w_2

14 regular-languages  undecidability 

İki alt dizenin aynı sayıda örneğini içeren dillerin ne zaman düzenli olacağını merak ediyordum. Ben 1 ve 0'ların eşit sayıda içeren dil düzenli değil ama gibi bir dil olduğunu biliyoruz , = alt dize örneklerini sayısına "001" alt dize "örnekleri sayısına eşittir 100 " düzenli mi? "00100" dizesinin kabul edileceğini …

14 formal-languages  regular-languages  pumping-lemma 

Resmi dillerim ve otomata kursum için geçerli ödevi yaparken, tek dilde (umarım bu doğru terimdir), yani tek bir harf üzerine inşa edilen dilleri içeren alıştırmalara takıldım. Bununla birlikte, belirli alıştırmalar hakkında soru sormak istemiyorum, aksine daha genel bir varsayım hakkında: Let ve . Benim varsayımım:L = { a f ( …

13 formal-languages  regular-languages 

Dil düzenli olsun.L ⊆ Σ*L⊆Σ∗\mathcal{L} \subseteq \Sigma^* Bir çarpanlara maksimal çifti kelimelerin setleri ile ( X , Y )LL\mathcal{L}( X, Y)(X,Y)(X,Y) X⋅ Y⊆ LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠ ∅ ≠ YX≠∅≠YX \neq \emptyset \neq Y , burada | .x ∈ X , y ∈ Y }X⋅ Y= { x …

13 algorithms  regular-languages  optimization 

Aşağıdakilerle ilgili yardımınızı gerçekten çok isterim: Herhangi bir sabit için aşağıdaki operatörler altında kapatma olup olmadığına karar :L2L2L_2 birr( L ) = { x ∣ ∃ y∈ L2: x y∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} birl( L ) = { x ∣ ∃ y∈ …

13 formal-languages  regular-languages  closure-properties 

, Σ = { a , b } alfabesi üzerinde normal bir dildir. L'nin w ∈ Σ ∗ ileilgilisol bölümü, w - 1 L dilidir : = { v ∣ w v ∈ L }LLLΣ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} nin düzenli olduğunu nasıl …

13 formal-languages  regular-languages  closure-properties