لغة متصرفة

معلومات عامة
الرموز في الصيغة	w : كلمة (الخاصية P9758 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.); Σ : alphabet (الخاصية P9758 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.); * : نجمة كلين (الخاصية P9758 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.); L : لغة متصرفة (الخاصية P9758 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.)
ممثلة بـ	formal grammar ; علم الدلالة المنهجي
النقيض	لغة طبيعية
الاستعمال	أسس الرياضيات
تعريف الصيغة	L={w:w∈Σ*}
يدرسه	نظرية اللغات المتصرفة
صنف فرعي من	مجموعة; نظام شكلي
P5106	formalLanguage (الخاصية P5106 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.); language (الخاصية P5106 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.)

اللغة المُتصرِّفة^[1] أو اللغة الصُّورِيَّة^[2]^[3] أو اللغة الرسمية^[4] (بالإنجليزية: Formal Language)‏ مصطلح يطلق في الرياضيات والمنطق والمعلوماتية على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية 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} \lor w \in L_{2}}$	نعم	لا	نعم	نعم	نعم	نعم
التقاطع	${w \| w \in L_{1} \land w \in L_{2}}$	نعم	لا	لا	نعم	نعم	نعم
Complement	${w \| w \in̸ L_{1}}$	نعم	نعم	لا	نعم	نعم	لا
Concatenation	$L_{1} \cdot L_{2} = {w \cdot z \| w \in L_{1} \land z \in L_{2}}$	نعم	لا	نعم	نعم	نعم	نعم
نجمة كلين	$L_{1}^{} = {ϵ} \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 على بلانيت ماث

المصادر

↑ رمزي البعلبكي (2025)، معجم المصطلحات اللغوية: مع 16 مسرداً عربياً (بالعربية وEnglish) (ط. 1)، بيروت: دار العلم للملايين، ص. 197، OCLC:30475414، QID:Q112231927
↑ موفق دعبول؛ مروان البواب؛ نزار الحافظ؛ نوار العوا (2025)، قائمة مصطلحات المعلوماتية (بالعربية وEnglish)، دمشق: مجمع اللغة العربية بدمشق، ص. 132، QID:Q112244705
↑ معجم مصطلحات المعلوماتية (بالعربية وEnglish)، دمشق: الجمعية العلمية السورية للمعلوماتية، 2025، ص. 226، OCLC:47938198، QID:Q108408025
↑ معجم البيانات والذكاء الاصطناعي (PDF) (بالعربية وEnglish)، الهيئة السعودية للبيانات والذكاء الاصطناعي، 2025، ص. 68، QID:Q111421033

هذه بذرة مقالة عن لغة أو حروفها بحاجة للتوسيع. فضلًا شارك في تحريرها.

[1] رمزي البعلبكي (2025)، معجم المصطلحات اللغوية: مع 16 مسرداً عربياً (بالعربية وEnglish) (ط. 1)، بيروت: دار العلم للملايين، ص. 197، OCLC:30475414، QID:Q112231927

[2] موفق دعبول؛ مروان البواب؛ نزار الحافظ؛ نوار العوا (2025)، قائمة مصطلحات المعلوماتية (بالعربية وEnglish)، دمشق: مجمع اللغة العربية بدمشق، ص. 132، QID:Q112244705

[3] معجم مصطلحات المعلوماتية (بالعربية وEnglish)، دمشق: الجمعية العلمية السورية للمعلوماتية، 2025، ص. 226، OCLC:47938198، QID:Q108408025

[4] معجم البيانات والذكاء الاصطناعي (PDF) (بالعربية وEnglish)، الهيئة السعودية للبيانات والذكاء الاصطناعي، 2025، ص. 68، QID:Q111421033

[لغات أخرى]

[لغات أخرى]

[1]

[2]

[3]

[4]

ع ن ت المنطق
مقالات رئيسية	العقل الفلسفي تاريخ المنطق منطق فلسفي منطق رياضي ما بعد المنطق فلسفة المنطق
مفاهيم مفتاحية	استنتاج قياس استقراء منطق لاشكلي افتراض استدلال حجة تفكير نقدي مغالطة منطق رياضي مجموعة نحو سيمانتيك صيغة جيدة الشكل مسلمة مبرهنة التماسك نظرية كاملة قابلية القرار نظام شكلي نظرية المجموعات نظرية البرهان نظرية النموذج نظرية العودية منطق الرتبة صفر دالة بول حسبان القضايا جداول الحقيقة منطق الرتبة الأولى منطق الرتبة الثانية منطق طوري منطق إبستيمي منطق ظرفي أنواع منطقية لاكلاسيكية منطق الحسوبية منطق ضبابي منطق خطي
جدليات	مفارقة
شخصيات أساسية	أرسطو جورج بول جورج كانتور رودولف كارناب جوتلوب فريجه كورت غودل ديفيد هيلبرت جوزيبه بيانو شارل ساندرز پيرس هيلاري پوتنام بيرتراند راسل ألفريد تارسكي آلان تورنغ
قوائم	مواضيع أساسية منطقيون قواعد الاستدلال منطق رياضي رياضيات متقطعة نظرية المجموعات مفارقات رموز منطقية

ع ن ت المنطق الرياضي
عام	لغة شكلية تشكيل قاعدة نظام شكلي نظام شكلي برهان فلسفي دلالة الصورية (منطق) صيغة التشكيلية مجموعة (رياضيات) صنف (نظرية المجموعات) منطق كلاسيكي بديهية استنتاج طبيعي قاعدة الإستدلال علاقات مبرهنة استتباع منطقي نظام بديهي نظرية النمط رمز (شكلي) تركيب (منطق) نظرية (منطق رياضي)
منطق تقليدي	قضية استدلال حجة منطقية صحة تفكير منطقي قياس (منطق) تعارض تربيعي مخطط فن
حساب القضايا - جبر بولياني	دالة بول حساب القضايا قضية (منطق) رابطة منطقية جدول الحقيقة
منطق تحول	منطق الرتبة الأولى الكم (منطق) محمول (منطق) منطق الرتبة الثانية Monadic predicate calculus
نظرية المجموعات المبسطة	مجموعة (رياضيات) مجموعة خالية تعداد الماصدقية مجموعة منتهية مجموعة غير منتهية مجموعة جزئية مجموعة قوة مجموعة قابلة للعد مجموعة غير قابلة للعد مجموعة تكرارية مجال دالة مدى(رياضيات) تطبيق (رياضيات) دالة عملية ثنائية زوج مرتب
نظرية المجموعات	أسس الرياضيات نظرية المجموعات حسب تسيرميلو-فرانكل بديهية الاختيار نظرية المجموعات العامة Kripke–Platek set theory Von Neumann–Bernays–Gödel set theory نظرية مجموعة مورس-كيلي Tarski–Grothendieck set theory
نظرية النموذج	البنية (منطق رياضي) تأويل (منطق) Non-standard model نظرية نموذج تناهي قيمة الحقيقة صحة
نظرية البرهان	برهان فلسفي نظام شكلي نظام شكلي مبرهنة استتباع منطقي علاقات متناهية تركيب (منطق)
نظرية الحاسوبية	استدعاء ذاتي مدى(رياضيات) مجموعة مرقمة بشكل تراجعي مشكل القرار أطروحة تشرش-تورينغ دوال حسابية Primitive recursive function

ع ن ت علم الحاسوب
يعتمد هذا القالب على تصنيف أنظمة الحوسبة ^{[لغات أخرى]}‏ الذي أنجزته جمعية آلات الحوسبة في عام 2012
العتاد	اللوحات المطبوعة الطرفيات الدارات المُتكاملة تكامل وسيع النطاق نظام على رقاقة الحوسبة الخضراء أتمتة التصميم الإلكتروني تسريع العتاد
بنية الأنظمة	المعماريَّة الأنظمة المُضمَّنة الحوسبة في الزمن الحقيقي الاعتمادية ^{[لغات أخرى]}‏
الشبكات	المعماريَّة البروتوكولات العتاد الجدولة الأداء الخدمات
بنية البرمجيات	المُفسِّرات برمجيات وسيطة آلة افتراضية أنظمة التشغيل جودة البرمجيات
نظرية لغات البرمجة وأدواتها	الأنماط اللغات البرمجة النمذجة مخصصة النطاق المُصرِّفات أُطُر العمل بيئة التطوير المتكاملة المكتبات المُستودعات
تطوير البرمجيات	المتغيرات عملية التطوير تحليل المتطلبات التصميم البناء النشر الصيانة فريق البرمجة البرمجيات حُرَّة المصدر
نظرية الحوسبة	نموذج حوسبة لغة متصرفة نظريات التشغيل الذاتي الحسوبية التعقيد الحسابي المنطق علم الدلالة الشكلي
الخوارزميات	التحليل الكفاءة خوارزمية عشوائية هندسة مُحوسبة
رياضيات الحوسبة	رياضيات مُتقطِّعة الاحتمالات الإحصاء برمجية رياضية نظرية المعلومات التحليل الرياضي العددي علم الحاسوب النظري
نظم المعلومات	أنواع التخزين قواعد البيانات الوسائط المتعددة اقتصادية اجتماعية جغرافية دعم القرارات التحكُّم في العمليات تنقيب في البيانات مكتبة رقمية منصة حوسبة التسويق الرقمي شبكة عالمية المجال استرجاع المعلومات
الأمن	أنواع العتاد ^{[لغات أخرى]}‏ الشبكات المعلومات التطبيقات الخدمات علم التعمية طريقة شكلية أنظمة كشف التسلسل
التفاعل الإنساني الحاسويبي	حوسبة اجتماعية سائدة تصميم التفاعل تمثيل مرئي إمكانية الوصول ^{[لغات أخرى]}‏
تزامن	أنواع مُتزامِنة مُتوازيَّة مُوزَّعة تشعب مُتعدِّد ^{[لغات أخرى]}‏ مُعالَجة مُتعدِّدة
الذكاء الاصطناعي	معالجة اللغة الطبيعية تمثيل المعرفة رؤية حاسوبية التخطيط الآلي والجدولة الاستمثال نظرية التَّحكُّم الفلسفة ذكاء اصطناعي مُوزَّع ^{[لغات أخرى]}‏
تعلم الآلة	أنواع التَّعلُّم مُراقَب غير مُراقَب مَدعُوم مُتعدِّد المهام ^{[لغات أخرى]}‏ التحقق المُتقاطِع
رسوميَّات	التحريك تصيير صور التَّلاعُب الضَّغط وحدة معالجة الرسوميَّات وُقُع افتراضي مُعزَّز مُختلَط نمذجة المُجسَّمات ^{[لغات أخرى]}‏
الحوسبة التطبيقيَّة	اختصاصات محوسبة رياضيات كيمياء فيزياء علم الأحياء هندسة العلوم الاجتماعية معلوماتية صحية التجارة الرقميَّة الفن الرقمي النشر الرقمي حرب رقمية عبر الشبكة التصويت الإلكتروني ألعاب الفيديو مُعالِجات النصوص بحوث العمليات تقنيات التعليم
تصنيف مُختصَر موجز مشروع كُومُنز

لغة متصرفة

محتويات

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

انظر أيضاً

وصلات خارجية

المصادر

قائمة التصفح

أفعال الصفحة

أفعال الصفحة

أدوات شخصية

تصفح

بحث

GROUP-SIDEBAR

أدوات

في مشاريع أخرى

بلغات أخرى

الرموز في الصيغة	$w$ : كلمة (الخاصية P9758 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.) $Σ$ : alphabet (الخاصية P9758 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.) $*$ : نجمة كلين (الخاصية P9758 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.) $L$ : لغة متصرفة (الخاصية P9758 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.)
ممثلة بـ	formal grammar ^{[لغات أخرى]} علم الدلالة المنهجي
النقيض	لغة طبيعية
الاستعمال	أسس الرياضيات
تعريف الصيغة	$L = {w : w \in Σ^{*}}$
يدرسه	نظرية اللغات المتصرفة ^{[لغات أخرى]}
صنف فرعي من	مجموعة نظام شكلي
P5106	formalLanguage (الخاصية P5106 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.) language (الخاصية P5106 غير موجودة، لا يمكن تحديد نوع البيانات الواجب استخدامه.)