لغة متصرفة
المظهر
لغة متصرفة
صنف فرعي من | |
---|---|
الاستعمال | |
يدرسه | |
تعريف الصيغة | |
الرموز في الصيغة | |
ممثلة بـ | |
النقيض |
اللغة المُتصرِّفة[1] أو اللغة الصُّورِيَّة[2][3] أو اللغة الرسمية[4] (بالإنجليزية: Formal Language) مصطلح يطلق في الرياضيات والمنطق والمعلوماتية على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل.
عمليات على اللغات
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 نعم لا نعم نعم نعم نعم
انظر أيضاً
- مجموعة قابلة للحساب
- علم النحو
- أساليب رسمية
- علوم شكلية
- نظام شكلي Formal system
- تدوين رياضي Mathematical notation
- لغة برمجة
وصلات خارجية
- Alphabet على بلانيت ماث
- Language على بلانيت ماث
المصادر
- ^ رمزي البعلبكي (1990)، معجم المصطلحات اللغوية: مع 16 مسرداً عربياً (بالعربية والإنجليزية) (ط. 1)، بيروت: دار العلم للملايين، ص. 197، OCLC:30475414، QID:Q112231927
- ^ موفق دعبول؛ مروان البواب؛ نزار الحافظ؛ نوار العوا (2017)، قائمة مصطلحات المعلوماتية (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 132، QID:Q112244705
- ^ معجم المصطلحات المعلوماتية (بالعربية والإنجليزية)، دمشق: الجمعية العلمية السورية للمعلوماتية، 2000، ص. 226، OCLC:47938198، QID:Q108408025
- ^ معجم البيانات والذكاء الاصطناعي (PDF) (بالعربية والإنجليزية)، الهيئة السعودية للبيانات والذكاء الاصطناعي، 2022، ص. 68، QID:Q111421033
![]() |
في كومنز صور وملفات عن: لغة متصرفة |