لغة متصرفة

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

 عمليات على اللغات 
{| class="wikitable"
|+ align="top"|Closure properties of language families ( Op  where both  and  are in the language family given by the column). After Hopcroft and Ullman.
|-
|العملية
|
||اللغات المنتظمة
||DCFL
||CFL
||لغة حساسة للسياق
||recursive
||r.e.
|-
|الاتحاد
| 
| 
| 
| 
| 
| 
| 
|-
|التقاطع
| 
| 
| 
| 
| 
| 
| 
|-
|Complement
| 
| 
| 
| 
| 
| 
| 
|-
|Concatenation
| 
| 
| 
| 
| 
| 
| 
|-
|نجمة كلين
| 
| 
| 
| 
| 
| 
| 
|-
|Homomorphism
|
| 
| 
| 
| 
| 
| 
|-
|Substitution
|
| 
| 
| 
| 
| 
| 
|-
|Inverse Homomorphism
|
| 
| 
| 
| 
| 
| 
|-
|Reverse
| 
| 
| 
| 
| 
| 
| 

|}

 انظر أيضاً 
 مجموعة قابلة للحساب
 علم النحو
 أساليب رسمية
 علوم شكلية
 نظام شكلي Formal system
 تدوين رياضي Mathematical notation
 لغة برمجة

 وصلات خارجية 




 المصادر 

*
تصنيف:علم الحاسوب النظري