الرئيسيةبحث

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

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

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


قالب:بذرة معلوماتية