لغة متصرفة
باختصار: اللغة المُتصرِّفة أو اللغة الصُّورِيَّة أو اللغة الرسمية مصطلح يطلق في الرياضيات والمنطق والمعلوماتية على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية.
في البداية، اللغة المُتصرِّفة أو اللغة الصُّورِيَّة أو اللغة الرسمية مصطلح يطلق في الرياضيات والمنطق والمعلوماتية على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل.
- عمليات على اللغات
- انظر كذلك
- مجموعة قابلة للحساب
- علم النحو
- أساليب رسمية
- علوم شكلية
- نظام شكلي Formal system
- تدوين رياضي Mathematical notation
- لغة برمجة
- وصلات خارجية
📝 هل في هذه المقالة خطأ؟
إذا وجدت معلومة تحتاج تصحيحاً أو إضافة، أو أردت حذف المقالة، أرسل لنا طلباً وسنراجعه.
ما رأيك في هذه المقالة؟