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