Sintaksis ta'rifi Formalizm - Syntax Definition Formalism - Wikipedia

The Sintaksis ta'rifi Formalizm (SDF) a metasintaks aniqlash uchun ishlatiladi kontekstsiz grammatikalar: ya'ni rasmiy tillarni tasvirlashning rasmiy usuli. Ning butun diapazonini ifodalashi mumkin kontekstsiz grammatikalar. Uning hozirgi versiyasi SDF3.^[1] A tahlilchi va ajralish generatori SDF uchun texnik shartlar bepul qism sifatida taqdim etiladi ASF + SDF meta muhiti. Ular SGLR yordamida ishlaydi (Skanersiz GLR tahlilchisi ). SDF-tahlil qiluvchi natijalari daraxtlarni tahlil qilish yoki taqdirda noaniqliklar, o'rmonlarni ajratish.

Umumiy nuqtai

SDF xususiyatlari:

Kontekstsiz barcha tillarni qo'llab-quvvatlaydi
Modulli sintaksis ta'riflariga ruxsat beradi (grammatika subgrammarlarni import qilishi mumkin), bu esa qayta foydalanishni ta'minlaydi
Izohlarni qo'llab-quvvatlaydi

Misollar

Quyidagi misol SDF2 da oddiy mantiqiy ifoda sintaksisini belgilaydi:

modul asosiy / Booleansexports Boolean kontekstsiz start-belgilarni tartiblaydi Booleancontext-free syntax "true" -> Boolean "false" -> Boolean lhs: Boolean "|" rhs: Boolean -> Boolean {chap} lhs: Boolean "&" rhs: Boolean -> Boolean {left} "not" "(" Boolean ")" -> Boolean "(" Boolean ")" -> Boolean kontekstsiz. ustuvorliklar Boolean "&" Boolean -> Boolean> Boolean "|" Mantiqiy -> Mantiqiy