لغة متصرفة

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

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

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\vee w\in L_2\}$	قالب:أجل	قالب:كلا	قالب:أجل	قالب:أجل	قالب:أجل	قالب:أجل
التقاطع	$\{w|w\in L_1\wedge w\in L_2\}$	قالب:أجل	قالب:كلا	قالب:كلا	قالب:أجل	قالب:أجل	قالب:أجل
Complement	$\{w|w\in ̸L_1\}$	قالب:أجل	قالب:أجل	قالب:كلا	قالب:أجل	قالب:أجل	قالب:كلا
Concatenation	$L_1\cdot L_2=\{w\cdot z|w\in L_1\wedge z\in L_2\}$	قالب:أجل	قالب:كلا	قالب:أجل	قالب:أجل	قالب:أجل	قالب:أجل
نجمة كلين	$L_1^{*}=\{ϵ\}\cup \{w\cdot z|w\in L_1\wedge z\in L_1^{*}\}$	قالب:أجل	قالب:كلا	قالب:أجل	قالب:أجل	قالب:أجل	قالب:أجل
Homomorphism		قالب:أجل	قالب:كلا	قالب:أجل	قالب:أجل	قالب:كلا	قالب:أجل
Substitution		قالب:أجل	قالب:كلا	قالب:أجل	قالب:أجل	قالب:كلا	قالب:أجل
Inverse Homomorphism		قالب:أجل	قالب:أجل	قالب:أجل	قالب:أجل	قالب:أجل	قالب:أجل
Reverse	$\{w^R|w\in L\}$	قالب:أجل	قالب:كلا	قالب:أجل	قالب:أجل	قالب:أجل	قالب:أجل

انظر أيضاً

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

وصلات خارجية

• قالب:Planetmath reference
• قالب:Planetmath reference