Basit öncelik dilbilgisi - Simple precedence grammar

Bir basit öncelik dilbilgisi bir bağlamdan bağımsız resmi gramer bir ile ayrıştırılabilir basit öncelik ayrıştırıcı.^[1] Konsept ilk olarak 1964'te Claude Çifti^[2]ve daha sonra yeniden keşfedildi. Robert Floyd, tarafından Niklaus Wirth ve Helmut Weber başlıklı bir makale yayınlayan EULER: ALGOL'un bir genellemesi ve resmi tanımı, 1966'da yayınlanan ACM'nin iletişimi.^[3]

Resmi tanımlama

G = (N, Σ, P, S), içindeki tüm üretim kuralları varsa basit bir öncelik dilbilgisidir. P aşağıdaki kısıtlamalara uyun:

Yok kuralları silme (ε-prodüksiyonlar)
Yok işe yaramaz kurallar (ulaşılamayan semboller veya verimsiz kurallar)
Her bir çift sembol için X, Y (X, Y ${ displaystyle in}$ (N ∪ Σ)) sadece bir tane var Wirth-Weber öncelik ilişkisi.
G benzersiz şekilde tersine çevrilebilir

Örnekler

{ displaystyle S ile aSSb | c}

öncelik tablosu: ${ displaystyle { begin {array} {c | ccccc} & S & a & b & c & $ hline S & { dot {=}} & lessdot & { dot {=}} & lessdot & a & { dot {=}} & lessdot && lessdot & b && gtrdot && gtrdot & gtrdot c && gtrdot & gtrdot & gtrdot & gtrdot $ && lessdot && lessdot & end { dizi}}}$

Notlar

^ Ayrıştırma, Çeviri ve Derleme Teorisi: Derleme, Alfred V. Aho, Jeffrey D. Ullman, Prentice – Hall, 1972.
^ Claude Çifti (1964). "Arbres, yığınlar ve derleme". Revue française de traitement de l'information., İngilizce Ağaçlar, yığınlar ve derleme
^ Makineler, Diller ve Hesaplama, Prentice-Hall, 1978, ISBN 9780135422588, Wirth ve Weber [1966], Floyd'un öncelikli gramerlerini genelleştirerek basit öncelikli gramerleri elde ettiler.

Referanslar

Alfred V. Aho, Jeffrey D. Ullman (1977). Derleyici Tasarımının İlkeleri. 1. Baskı. Addison – Wesley.
William A. Barrett, John D. Couch (1979). Derleyici yapımı: Teori ve Uygulama. Science Research Associate.
Jean-Paul Tremblay, P.G.Sorenson (1985). Derleyici Yazma Teorisi ve Pratiği. McGraw-Hill.

Dış bağlantılar

"Basit Öncelik İlişkileri" Clemson Üniversitesi'nde

Bu bilgisayar Bilimi makale bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek.

Bu Programlama dili ile ilgili makale bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek.