لغة شكلية

مجموعة من سلاسل الرموز التي قد تكون مقيدة بقواعد خاصة بها ؛ كلمات مأخوذة أحرفها من الأبجدية ويتم تشكيلها بشكل جيد وفقًا لمجموعة معينة من الق

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

لغة شكلية
Syntax tree.svg
معلومات عامة
صنف فرعي من
يدرس بواسطة
تعريف الصيغة
عدل القيمة على Wikidata
في تحديد الصيغة


عدل القيمة على Wikidata
الاستعمال
ممثلة بـ
النقيض
Syntax tree.svg

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

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. ^ موفق دعبول؛ مروان البواب؛ نزار الحافظ؛ نوار العوا (2017)، قائمة مصطلحات المعلوماتية (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 132، QID:Q112244705
  2. ^ معجم المصطلحات المعلوماتية (بالعربية والإنجليزية)، دمشق: الجمعية العلمية السورية للمعلوماتية، 2000، ص. 226، OCLC:47938198، QID:Q108408025
  3. ^ "معلومات عن لغة شكلية على موقع jstor.org". jstor.org. مؤرشف من الأصل في 2020-01-11.
  4. ^ "معلومات عن لغة شكلية على موقع id.loc.gov". id.loc.gov. مؤرشف من الأصل في 2010-05-27.
  5. ^ "معلومات عن لغة شكلية على موقع mathworld.wolfram.com". mathworld.wolfram.com. مؤرشف من الأصل في 2019-08-30.