«formal-grammars» etiketlenmiş sorular

Biçimsel gramerler hakkında sorular, biçimsel dillerin üretken tanımları.

1
Bağlamdan normal dillerle kesişme
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, …
2
Bağlama duyarlı olmayan karar verilebilir diller
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, …
2
IELR (1) -parser nedir?
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ı.
1
“soldan sağa tarama, en sağdaki türev” anlamını ne zaman aldı ?
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 …
2
Bağlamdan bağımsız gramerler için Önce ve Sonra kümeleri her zaman bağlamdan bağımsız mıdır?
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 …
3
Bağlamdan bağımsız gramerlere parametre eklerseniz ne elde edersiniz?
Girintiye duyarlı diller için gramerler düşünüyordum ve CF gramerleri parametrelerle birleştirilirse hile yapacak gibi görünüyor. Örnek olarak, ANTLR benzeri formatta basitleştirilmiş Python dilbilgisi için bu parçayı düşünün: // on top-level the statements have empty indent program : statement('')+ ; // let's consider only one compound statement and one simple statement …
2
“Üretim” kelimesi Bilgisayar Bilimi bağlamında “kural” kelimesi ile nasıl eşanlamlı hale geldi?
Biçimsel dilleri ve üretim üssü sistemlerini (kural-temel sistemleri) inceliyorum ve bu iki kelime "üretim" ve "kural" ın neden Bilgisayar Bilimi'nde bu kadar çok bağlamda aynı anlama geldiği konusunda biraz kafam karıştı. İngilizcede aynı anlama gelmiyorlar. Ben anadili İngilizce değilim ama bir kuralın insanlar hakkında konuşurken yapması gereken / yapmaması gereken …
5
Ortamsızlığın determinizmden farkı nedir?
"Deterministik bağlamsız dilbilgisi" gibi ifadelerde "deterministik" ile ne anlama geldiğini anlamaya çalışıyorum. (Bu alanda daha belirleyici "şeyler" vardır). En ayrıntılı açıklamadan daha çok bir örneği takdir ediyorum! Eğer mümkünse. Başlıca karışıklık kaynağım, bir dilbilgisinin bu özelliğinin (olmayan) belirsizlikten ne kadar farklı olduğunu söyleyememek. Ne anlama geldiğini bulabildiğim en yakın şey …
1
Otomatada normal ifade ve dilbilgisi arasındaki fark
Ben otomata konusunda yeniyim ve bana dün düzenli ifadelere kısa bir giriş yapıldı. Normal bir ifadeyi tanımlamak için çeşitli kuralları okudum. Ama düzenli ifadeler ve bir dilin grameri arasında ayrım yapamıyorum (düzenli ifadeler için dilbilgisi öğretilmemiştir). Dilbilgisinin bir dilde geçerli dizeleri oluşturmamıza yardımcı olduğunu anlıyorum, ancak normal ifadeler durumunu tanımlamak …
3
CFG'ler için Chomsky normal form gibi normal formların önemi
Bağlamdan bağımsız gramerlerin bağlamdan bağımsız dilleri temsil etmek için kullanılabileceğini anlıyorum, belirsizlikleri olabilir. Chomsky ve Greibach normal formu gibi normal formlarımız da var . Bunun ihtiyacını anlayamadım. Dil teorisinde neden önemlidirler? Bahsettiğim tüm ders kitapları bu normal formları anlattı ama önemleri hakkında hiçbir şey söylemedi.
4
Birisi bağlama duyarlı bir dilbilgisinin basit ama oyuncak olmayan bir örneğini verebilir mi?
Bağlama duyarlı gramerleri anlamaya çalışıyorum. Dillerin neden hoşlandığını anlıyorum { w w ∣ w ∈ A*}{ww|w∈bir*}\{ww \mid w \in A^*\} { anbncn∣ n ∈ N }{birnbncn|n∈N-}\{a^n b^n c^n \mid n\in\mathbb{N}\} bağlam içermez, ancak türetilmemiş lambda hesabına benzer bir dilin içeriğe duyarlı olup olmadığını bilmek istiyorum. Basit, ama oyuncak olmayan bir …
2
Bağlama duyarlı tüm diller karar verilebilir mi?
Bağlam duyarlı dilin Wikipedia tanımından geçiyordum ve bunu buldum: Her dil kategorisi, doğrudan üstündeki kategorinin uygun bir alt kümesidir. Her kategorideki herhangi bir otomat ve herhangi bir dilbilgisi, doğrudan üstündeki kategoride eşdeğer bir otomat veya dilbilgisine sahiptir. Doğrusal sınırlı otomatın makalenin sıralamasında doğrudan karar verenin altında olduğunu görebiliyordum. Bu durumda, …
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.