سيمانتيك شكلي
في المعلوماتية النظرية ، السيمانتيك الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة و نماذج التحسيب .
يعطى السيمانتيك الشكلي للغة ما عن طريق نموذج رياضي يصف طرق التحسيب الممكنة التي توصف بهذه اللغة .
 | هذه بذرة مقالة عن المعلوماتية أو العاملين في هذا المجال تحتاج للنمو والتحسين، ساهم في إثرائها بالمشاركة في تحريرها. |
This article may include material from Wikimedia licensed under CC BY-SA 4.0. Please comply with the license terms.