فهم حقيقة لغة متصرفة

اللغة المُتصرِّفة أو اللغة الصُّورِيَّة أو اللغة الرسمية (بالإنجليزية: Formal Language) مصطلح يطلق في الرياضيات والمنطق والمعلوماتية على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل.