"Bir Uyuşmaz Çoğaltılmış JSON Veri Türü" makalesinde , resmi olarak "kurallar" tanımlamak için bu gösterimle karşılaştım:
Bu gösterime ne denir? Nasıl okurum?
Örneğin:
DOC
Kural onun "payında" bir şey yok - neden olmasın?EXEC
veGET
kurallar Bu ne anlama geliyor, ne çizgisinin üzerinde iki ayrı terim var görünüyor?VAR
diğer birçok kural okun çeşit kullanırken bu sadece o x şeyin bir elementtir söyleyerek gibi görünüyor kontör (yani alacağını "ima") beri kural yanı biraz öne çıkmaktadır.- hemen hemen her şey,
Ap,
metnin "çoğaltma p'nin durumu, sınırlı bir kısmi işlev olan Ap tarafından tanımlanır" olarak tanımlandığı bir baş harfle doludur - bu gösterimi anlayışlı bir okuyucu, her kuralın bu bölümünü nasıl "görme" eğilimindedir?
Bu site, küçük adımla ilgili bu sorunun ilk kuralı olarak ⟨B, s⟩ -> ⟨B 'nin önemi nedir? semantik? - bu, İşletimsel semantik olarak etiketlenir ve bu güçlü bir ipucu gibi görünmektedir. Gerçekten bu rakamları yorumlamam gereken çerçeve bu mu? Bunu "kilitlenme kursu" biçiminde kolayca özetleyebilir misiniz, böylece kanıtlarının doğruluğunu doğrulayamasam bile, en azından bu bölümde söylediklerini biraz daha iyi anlayabilir miyim?