Yukarıdan aşağıya ayrıştırma dili - Top-down parsing language

Yukarıdan Aşağıya Ayrıştırma Dili (TDPL) bir tür analitik resmi gramer tarafından geliştirilmiş Alexander Birman 1970'lerin başında ortak bir pratik sınıfın davranışını resmi olarak incelemek için yukarıdan aşağı ayrıştırıcılar sınırlı bir biçimini destekleyen geri izleme. Birman aslen biçimciliğini adlandırdı TMG Şeması (TS), sonra TMG erken ayrıştırıcı oluşturucu, ancak daha sonra TDPL adı verildi Aho ve Ullman klasik antolojilerinde Ayrıştırma, Çeviri ve Derleme Teorisi.

TDPL dilbilgisinin tanımı

Resmen, bir TDPL dilbilgisi G aşağıdaki bileşenlerden oluşan bir demettir:

  • Sonlu bir küme N nın-nin terminal olmayan semboller.
  • Sonlu bir küme Σ terminal sembolleri bu ayrık N.
  • Sonlu bir küme P nın-nin üretim kuralları, bir kural aşağıdaki biçimlerden birine sahipse:
    • Bir ← ε, nerede Bir terminal olmayan bir dizedir ve ε boş dizedir.
    • Birf, nerede f temsil eden ayırt edici bir semboldür koşulsuz başarısızlık.
    • Bira, nerede a herhangi bir terminal sembolüdür.
    • BirBC / G, nerede B, C, ve D terminal değildir.

Bir dilbilgisinin yorumlanması

Bir TDPL dilbilgisi, son derece minimalist bir biçimsel temsili olarak görülebilir. yinelemeli iniş ayrıştırıcı, terminal olmayanların her birinin şematik olarak bir ayrıştırmayı temsil ettiği işlevi. Bu terminal olmayan işlevlerin her biri, giriş bağımsız değişkeni olarak tanınacak bir dizeyi alır ve iki olası sonuçtan birini verir:

  • başarı, bu durumda işlev isteğe bağlı olarak ileri hareket edebilir veya tüketmek kendisine sağlanan giriş dizesinin bir veya daha fazla karakteri veya
  • başarısızlık, bu durumda hiçbir girdi tüketilmez.

Terminal olmayan bir fonksiyonun gerçekten herhangi bir girdi tüketmeden başarılı olabileceğini ve bu, başarısızlıktan farklı bir sonuç olarak kabul edildiğini unutmayın.

Bir terminal olmayan Bir formun bir kuralı ile tanımlanmıştır Bir ← ε, sağlanan girdi dizesi ne olursa olsun, herhangi bir girdi tüketmeden her zaman başarılı olur. Tersine, formun bir kuralı Birf girdi ne olursa olsun her zaman başarısız olur. Formun bir kuralı Bira giriş dizesindeki bir sonraki karakter terminal ise başarılı olur a, bu durumda nonterminal başarılı olur ve o terminali tüketir; sonraki giriş karakteri eşleşmezse (veya sonraki karakter yoksa), o zaman terminal olmayan başarısız olur.

Bir terminal olmayan Bir formun bir kuralı ile tanımlanmıştır BirBC / G ilk tekrarlı nonterminal çağırır B, ve eğer B başarılı olur, çağırır C tarafından tüketilmeden bırakılan giriş dizesinin geri kalanında B. İkisi de olursa B ve C başarılı ol o zaman Bir sırayla başarılı olur ve aynı sayıda giriş karakterini tüketir. B ve C birlikte yaptı. Eğer ikisinden biri B veya C başarısız olursa, o zaman Bir geri dönüşler girdi dizesinde ilk olarak çağrıldığı orijinal noktaya ve ardından D o orijinal girdi dizesinde, sonuç ne olursa olsun döndürülür D üretir.

Örnekler

Aşağıdaki TDPL dilbilgisi, normal dil keyfi uzunlukta bir a ve b dizisinden oluşur:

SAS / T
TBS / E
Bir ← a
B ← b
E ← ε

Aşağıdaki dilbilgisi, bağlamdan bağımsız dil parantez dili '{}', '{{} {{}}}', vb. gibi, rastgele uzunlukta eşleşen kaşlı ayraç dizilerinden oluşur:

SOT / E
TSU / F
UCS / F
Ö ← {
C ← }
E ← ε
Ff

Yukarıdaki örnekler, aynı şekilde, ancak çok daha kısa ve öz olarak şu şekilde gösterilebilir: ifade dilbilgisini ayrıştırma gösterim olarak S ← (a / b) * ve S ← ({S}) *, sırasıyla.

Genelleştirilmiş TDPL

TDPL'nin küçük bir varyasyonu Genelleştirilmiş TDPL veya GTDPL, aynı minimalist yaklaşımı korurken (aslında eşdeğer olsalar da) TDPL'nin görünürdeki ifade gücünü büyük ölçüde artırır. GTDPL'de, TDPL'nin özyinelemeli kural formu yerine BirBC / Gbunun yerine alternatif kural formunu kullanıyoruz BirB [C, D], aşağıdaki şekilde yorumlanır. Terminal olmadığında Bir bazı girdi dizelerinde çağrılırsa, önce özyinelemeli olarak B. Eğer B o zaman başarılı olur Bir sonradan çağırır C tarafından tüketilmeden bırakılan girdinin geri kalanında Bve sonucunu döndürür C orijinal arayan kişiye. Eğer B öte yandan başarısız olursa, Bir çağırır D orijinal girdi dizesinde ve sonucu arayana geri iletir.

Bu kural biçimi ile kural arasındaki önemli fark BirBC / G TDPL'de kullanılan kural biçimi şudur: C ve D Asla her ikisi de aynı çağrıda çağrıldı Bir: yani, GTDPL kuralı daha çok "saf" if / then / else yapısı gibi davranır. B koşul olarak.

GTDPL'de ilginç olmayan,bağlamdan bağımsız diller klasik örnek gibi {anbncn}.

Bir GTDPL grameri, aynı dili tanıyan eşdeğer bir TDPL dilbilgisine indirgenebilir, ancak süreç basit değildir ve gerekli kuralların sayısını büyük ölçüde artırabilir.[1]Ayrıca, hem TDPL hem de GTDPL, çok kısıtlı biçimler olarak görülebilir. ifade gramerlerini ayrıştırma, hepsi aynı gramer sınıfını temsil eder.[1]

Ayrıca bakınız

Referanslar

Dış bağlantılar