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