لغة شكلية

في الرياضيات والمنطق والمعلوماتية، يطلق مصطلح اللغة الشكلية L على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية.[1][2][3] فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل.

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

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.
العملية		regular	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\}$	نعم	لا	نعم	نعم	نعم	نعم

انظر أيضاً

وصلات خارجية

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

المصادر

"معلومات عن لغة شكلية على موقع jstor.org". jstor.org. مؤرشف من الأصل في 11 يناير 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)
"معلومات عن لغة شكلية على موقع id.loc.gov". id.loc.gov. مؤرشف من الأصل في 27 مايو 2010. الوسيط |CitationClass= تم تجاهله (مساعدة)
"معلومات عن لغة شكلية على موقع mathworld.wolfram.com". mathworld.wolfram.com. مؤرشف من الأصل في 30 أغسطس 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)

بوابة رياضيات
بوابة اللغة
بوابة علم الحاسوب
بوابة تقنية المعلومات

في كومنز صور وملفات عن: لغة شكلية

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] "معلومات عن لغة شكلية على موقع jstor.org". jstor.org. مؤرشف من الأصل في 11 يناير 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)

[2] "معلومات عن لغة شكلية على موقع id.loc.gov". id.loc.gov. مؤرشف من الأصل في 27 مايو 2010. الوسيط |CitationClass= تم تجاهله (مساعدة)

[3] "معلومات عن لغة شكلية على موقع mathworld.wolfram.com". mathworld.wolfram.com. مؤرشف من الأصل في 30 أغسطس 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)