لغة متصرفة

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

لغة متصرفة

معلومات عامة

صنف فرعي من	مجموعة نظام شكلي
الاستعمال	أسس الرياضيات
يدرسه	نظرية اللغات المتصرفة
تعريف الصيغة	$L=\{w:w\in \Sigma ^{*}\}$
الرموز في الصيغة	$w$ $\Sigma$ $^{*}$ $L$
ممثلة بـ	formal grammar (en) علم الدلالة المنهجي
النقيض	لغة طبيعية

عمليات على اللغات

Closure properties of language families ($L_{1}$ Op $L_{2}$ where both $L_{1}$ and $L_{2}$ are in the language family given by the column). After Hopcroft and Ullman.

العملية		اللغات المنتظمة	DCFL	CFL	لغة حساسة للسياق	recursive	r.e.
الاتحاد	$\{w|w\in L_{1}\lor w\in L_{2}\}$	نعم	لا	نعم	نعم	نعم	نعم
التقاطع	$\{w|w\in L_{1}\land w\in L_{2}\}$	نعم	لا	لا	نعم	نعم	نعم
Complement	$\{w|w\not \in L_{1}\}$	نعم	نعم	لا	نعم	نعم	لا
Concatenation	$L_{1}\cdot L_{2}=\{w\cdot z|w\in L_{1}\land z\in L_{2}\}$	نعم	لا	نعم	نعم	نعم	نعم
نجمة كلين	$L_{1}^{*}=\{\epsilon \}\cup \{w\cdot z|w\in L_{1}\land z\in L_{1}^{*}\}$	نعم	لا	نعم	نعم	نعم	نعم
Homomorphism		نعم	لا	نعم	نعم	لا	نعم
Substitution		نعم	لا	نعم	نعم	لا	نعم
Inverse Homomorphism		نعم	نعم	نعم	نعم	نعم	نعم
Reverse	$\{w^{R}|w\in L\}$	نعم	لا	نعم	نعم	نعم	نعم

انظر أيضاً

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

وصلات خارجية

• Alphabet على بلانيت ماث
• Language على بلانيت ماث