سيمانتيك شكلي

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

في المعلوماتية النظرية، السيمانتيك الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب.

يعطى السيمانتيك الشكلي للغة ما عن طريق نموذج رياضي يصف طرق التحسيب الممكنة التي توصف بهذه اللغة.

Computer.svg هذه بذرة مقالة عن الحاسوب أو العاملين في هذا المجال بحاجة للتوسيع. شارك في تحريرها.