نجمة كلين

في المنطق الرياضي وعلم الحاسوب، فان نجمة كلين (أو مشغل كلين أو الانغلاق كلين) عملية أحادية، إما على مجموعة من الكلمات أو على مجموعة من الرموز أو الحروف. يتم كتابة تطبيق النجمة كلين للمجموعة V على النحو V *. ويتم استخدامها على نطاق واسع لأشكال التعابير النمطية، وهو السياق الذي قدم من قبل كلين ستيفن لتوصيف نظرية التشغيل الذاتي بعينها، حيث تعني «صفر أو أكثر».

  1. إذا كانت V عبارة عن مجموعة من السلاسل إذا يتم تعريف V * باعتبارها أصغر مجموعة جزئية من V والتي تحتوي على الكلمة الفارغة وتغلق بموجب عمليات تسلسل الكلمات. هذا ويمكن أيضا وصف هذه المجموعة بأنها مجموع من السلاسل التي يمكن إجراؤها بواسطة سلسلة الصفر أو المزيد من سلاسل V.
  2. إذا كانت V عبارة عن مجموعة من الرموز أو الأحرف إذا V * هي مجموعة لكل السلاسل خلال رموز المجموعة V، بما في ذلك الكلمة الفارغة.

يتم استخدام العمليات في إعادة كتابة القواعد للقواعد المحدثة.

التعريف والتدوين

المعطى

يحدد بشكل تكراري المجموعة

حيث .

إذا كانت لغة رسمية، إذا والتي هي القوة (الاس) الذي يرمز له ب i-th من المجموعة ، يعتبر اختصار لتسلسل المجموعة مع نفسها i من مرات. ولذا يمكن أن يتم فهمه على انه مجموعة لجميع الكلمات التي يمكن أن تتمثل على نحو تسلسل للكلمة i في المجموعة . تعريف النجمة كلين هو

ولذا هذا هو تجميع لكافة السلاسل محدودة الطول المحتملة المتولدة من الرموز في .

في بعض دراسات اللغة الشكلية، (مثل نظرية أفل) فان الاختلاف على عملية نجمة كلين سميت باسم كلين زائد وتم استخدامها بالفعل. وزائد كلين يحذف الحد في الاتحاد أعلاه. وبعبارة أخرى، زائد كلين هي في المجموعة is

بالإضافة إلى ذلك، يتم استخدام نجمة كلين في النظرية المثالية.

أمثلة

امثلة على تطبيق نجمة كلين على مجموعة من السلاسل:

{"ab", "c"}* = {λ, "ab", "c", "abab", "abc", "cab", "cc", "ababab", "ababc", "abcab", "abcc", "cabab", "cabc", "ccab", "ccc",...}.

امثلة على تطبيق نجمة كلين على مجموعة من الأحرف:

{'a', 'b', 'c'}* = {λ, "a", "b", "c", "aa", "ab", "ac", "ba", "bb", "bc", "ca", "cb", "cc",...}.

امثلة على تطبيق نجمة كلين على المجموعة الفارغة:

امثلة على تطبيق زائد كلين على المجموعة الفارغة:

لاحظ انه لكل مجموعة L, تساوي التسلسل في L مع. للمقارنة يمكن كتابتها مثل . العمليات and يمكن ان تصف المجموعة ذاتها فقط وفقط إذا كانت المجموعة L قيد البحث تتضمن العبارة الفارغة.

تعميم

السلاسل التي تشكل البنية الجبرية مونويد مع تسلسل كما في العملية الثنائية وλ العنصر المحايد. يتم تعريف نجمة كلين لأي مونويد وليس فقط للسلاسل. بالتحديد، فلتكن مونويد. ثم هي أصغر مونويد فرعية ل تحتوي على ، ولهذا، تتضمن العنصر المحايد من ، وهو مجموعة ، وبحيث لو إذا .

انظر أيضا

مراجع

    تم العثور على تعريف نجمة كلين في تقريبا كل في كتاب عن نظرية كاشف التسلسل. المرجع النوذجي ما يلي:

    • بوابة علم الحاسوب
    • بوابة منطق
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.