بناء الجملة المجرد

في علوم الحاسوب ، يُعرَّف التركيب المجرد للبيانات بأنه بنية البيانات الموصوفة كنوع بيانات (قد يكون، ولكن ليس بالضرورة، نوع بيانات مجرد )، بغض النظر عن أي تمثيل أو ترميز محدد. ^{[ 1 ]} يُستخدم هذا بشكل خاص في تمثيل النصوص في لغات البرمجة ، ^{[ 2 ]} والتي تُخزَّن عادةً في بنية شجرية كشجرة تركيب مجرد . يُقارن التركيب المجرد، الذي يقتصر على بنية البيانات، بالتركيب الملموس ، الذي يتضمن أيضًا معلومات حول التمثيل. على سبيل المثال، يتضمن التركيب الملموس ميزات مثل الأقواس (للتجميع) أو الفواصل (للقوائم)، والتي لا تُدرج في التركيب المجرد، لأنها مضمنة في البنية.

تُصنف الصيغ المجردة إلى صيغ مجردة من الدرجة الأولى (FOAS)، إذا كانت البنية مجردة ولكن الأسماء (المعرفات) لا تزال ملموسة (وبالتالي تتطلب حل الاسم )، وصيغة مجردة من الدرجة العليا ، إذا كانت الأسماء نفسها مجردة. ^{[ 3 ]}

لكي يتم تنفيذه إما للحوسبة أو الاتصالات، يجب تحديد عملية ربط من بناء الجملة المجرد إلى تمثيلات وتشفيرات الآلة المحددة؛ ويمكن تسمية هذه بـ " بناء الجملة الملموس " (في تنفيذ اللغة) ^{[ 4 ]} أو "بناء جملة النقل" (في الاتصالات).

يُحدد التمثيل الداخلي للبرنامج في المُترجم عادةً بواسطة بنية نحوية مجردة، من حيث فئات مثل "العبارة" و"التعبير" و"المُعرِّف". وهذا مستقل عن بنية اللغة المصدرية ( البنية النحوية الملموسة ) للغة المُترجمة (مع أنها غالبًا ما تكون متشابهة جدًا). ​​تُشبه شجرة التحليل شجرة البنية النحوية المجردة، ولكنها عادةً ما تحتوي أيضًا على ميزات مثل الأقواس، وهي ذات أهمية نحوية، ولكنها ضمنية في بنية شجرة البنية النحوية المجردة. ^{[ 5 ]}

تُعد أنواع البيانات الجبرية مناسبة بشكل خاص لتنفيذ بناء الجملة المجرد. ^{[ 6 ]}

• بناء الجملة المجرد من الدرجة العليا
• الترميز النحوي المجرد الأول