لغة شكلية

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

عمليات على اللغات
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 نعم لا نعم نعم نعم نعم

انظر أيضاً

وصلات خارجية

المصادر
  1. "معلومات عن لغة شكلية على موقع jstor.org"، jstor.org، مؤرشف من الأصل في 11 يناير 2020.
  2. "معلومات عن لغة شكلية على موقع id.loc.gov"، id.loc.gov، مؤرشف من الأصل في 27 مايو 2010.
  3. "معلومات عن لغة شكلية على موقع mathworld.wolfram.com"، mathworld.wolfram.com، مؤرشف من الأصل في 30 أغسطس 2019.
  • بوابة رياضيات
  • بوابة اللغة
  • بوابة علم الحاسوب
  • بوابة تقنية المعلومات
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.