«formal-languages» etiketlenmiş sorular

Bu bir takip soru bu bir . Egzotik durum makineleri hakkında önceki bir soruda , Alex ten Brink ve Raphael tuhaf bir tür devlet makinesinin hesaplama yeteneklerini ele aldı: min-yığın otomata. Bu tür makineler tarafından kabul edilen dil kümesinin ( HALHALHAL ), bağlamsız dil kümesinin ne bir alt kümesi ne …

16 formal-languages  automata  closure-properties 

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 

Let . Bir dil Her dize için eğer "Anti-palindrom" özelliği olduğu söyleniyor yani bir palindrom olup . Ayrıca her dize için olan değil bir palindrom ya yaΣ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \}L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* wwww∉Lw∉Lw\notin Luuuu∈Lu∈Lu\in LReverse(u)∈LReverse(u)∈L\mathrm{Reverse}(u) \in L , ancak ikisini (!) (Özel veya). Anti-palindrome özelliğini anlıyorum, ancak bu …

15 formal-languages 

kitabımda: ∅ ∗ = { ϵ } burada ∅ boş bir dildir.∅*= { ϵ }∅*={ε}\emptyset^*=\{\epsilon\}∅∅\emptyset Ancak, bunu biliyoruz , nerede L herhangi dildir.L ⋅ ∅ = ∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Bu kavramı sezgisel olarak kavrayamıyorum çünkü Kleene yıldız operasyonu .∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots Peki neden için …

15 formal-languages  kleene-star 

Yani temelde L, CFL'ler için pompalama lemmasının koşullarını karşılar, ancak bir CFL değildir (bu, lemmanın tanımına göre mümkündür).

15 formal-languages  context-free  pumping-lemma 

Bu bir takip soru bu bir . Egzotik durum makineleri , Alex ten Brink ve Raphael tuhaf bir tür devlet makinesinin hesaplama yeteneklerini ele aldı: min-yığın otomata. Bu tür makineler tarafından kabul edilen dil kümesinin ( ), dil kümesinin ne bir alt kümesi ne de bir üst kümesi olduğunu gösterebildiler …

15 formal-languages  automata  nondeterminism 

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 

Günlük sorunları tanımlamak için oluşturulan çoğu dilin içeriğe duyarlı olması tartışmalıdır. Diğer yandan, özyinelemeli olmayan, hatta özyinelemeli olarak numaralandırılamayan bazı dilleri bulmak mümkün değildir ve zor değildir. Bu iki tür arasında, içeriğe duyarlı olmayan özyinelemeli diller vardır. Wikipedia burada bir örnek veriyor : Bağlama duyarlı olmayan özyinelemeli dilin bir örneği, …

15 formal-languages  complexity-theory  formal-grammars 

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 

Dil tanımlayın olarak L = { a , b } * - { w w | w ∈ { a , b } * } . Başka bir deyişle, L , iki kez tekrarlanan bir kelime olarak ifade edilemeyen kelimeleri içerir. Mı L bağlamdan bağımsız mı değil mi?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, …

15 formal-languages  context-free  formal-grammars 

Genellikle boş dizgi (boş sözcük veya boş dize) için sembolünü kullanırım . Ama bazı insanların yerine kullandığını biliyorum .λ εεε\varepsilonλλ\lambdaεε\varepsilon Ben "Boş" kelimesinden türetilmiştir düşünüyorum . Ancak kökeni nedir bilmiyorum .λεε\varepsilonλλ\lambda Otomata teorisinde, otomatanın epsilon geçişi vardır ve bunun da lambda geçişi olduğu söylenir. Örneğin, JFLAP yazılımı varsayılan olarak epsilon …

14 formal-languages  automata  reference-request  notation  history 

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 

Kendime bizon kullanımını öğretmeye çalışıyorum. Manpage bizonu (1) bizon hakkında şunları söylüyor: LALR (1), IELR (1) veya kanonik LR (1) ayrıştırıcı tablolarını kullanarak deterministik bir LR veya genelleştirilmiş LR (GLR) ayrıştırıcısı oluşturun. IELR ayrıştırıcı nedir? Dünya çapında web'de bulduğum tüm ilgili makaleler ödeme duvarı.

14 formal-languages  terminology  formal-grammars  parsers 

Göre Ara maddesi , L vasıtası "tarama için sağ-sol", ve "R" anlamına gelir "sağdaki türev". Bununla birlikte, Knuth'un gramerleriyle ilgili orijinal belgesinde , (sayfa 610) ' ile soldan sağa çevrilebilen bir dil olarak tanımlar .LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)kkk Bu yeni terminolojinin ayrışmasının "soldan sağa taraması, en soldaki türevi" tamamlaması için seçildiğini tahmin ediyorum …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Let bir bağlam-dilbilgisi. Terminalleri ve nonterminallerin bir dize G bir olduğu söylenir cümlesel formu arasında G Eğer üretimlerini uygulayarak alamazlarsa G başlangıç simgesi sıfır ya da daha fazla kez S . Let SF ( G ) arasında cümlesel formlarının kümesi G .GGGGGGGGGGGGSSSSF(G)SF⁡(G)\operatorname{SF}(G)GGG Let ve izin β bir alt dizisi a …

14 formal-languages  context-free  formal-grammars  closure-properties