كلمة (علم الحاسوب النظري)

في علم الحاسوب النظري الكلمة هي سلسلة محدودة الطول مأخوذة من رموز ألفبائية. على عكس الكلمة في اللغة الطبيعية التي دائمًا مرتبطة بمعنى، فإن الكلمة في علم الحاسوب النظري ليس لها معنى لغوي، بل هي مجرد مصطلح آخر لسلسلة من الرموز.

الكلمات هي عناصر اللغة الشكلية، لذلك هي مهمة للنمذجة الرياضية، لنظرية لغات البرمجة، للنظرية الحاسوبية، ولغيرها من مجالات علم الحاسوب النظري.

 تعريف 
لتكن  ألفبائية و عدد من ، التي هي الأعداد الطبيعية التي تتضمن الصفر (). أي كلمة  بطول  هي سلسلة محدودة الطول  حيث  لكل .

الطول (وهو عدد رموز الكلمة)  من أي كلمة  يُكتب ، وعدد المرات الذي يأتي فيه حرف  في كلمة  يُكتب .Klaus Reinhardt: Prioritatszahlerautomaten und die Synchronisation von Halbspursprachen, Fakultät Informatik der Universität Stuttgart; Doktorarbeit 1994 (PDF; 509 KB) 

كلمة مميزة هي الكلمة الفارغة التي تتكون من لا رمز (طولها 0) وعادة ما تُكتب بالحرف الإغريقي  (إبسيلون). مجموعة كل الكلمات التي يمكن العثور عليها من ألفبائية  تسمى نجمة كلين.

غالبًا تُكتب الكلمات بالطريقة المبسطة .

 أمثلة 
لتكن  الألفبائية اللاتينية، و . من ثَم تكن  و  أمثلة لكلمات من الألفبائية ، و  مثال لكلمة من . كما أن طول الكلمات هي  و . يأتي رمز  مرتين في كلمة ، لذلك .

 العمليات على الكلمات 
 تسلسل 
التَسَلسُل هو عملية ثنائية يربط كلمتين ليصبحوا كلمة واحدة، عن طريق إضافة رموز الكلمة الثانية إلى نهاية الكلمة الأولى دون تغيير ترتيبهم. تسلسل الكلمتين  و  من ألفبائية  يُكتب  أو  وتعريفه هو:

وذلك عندما يكون تعريف الكلمتين هو  و  حيث  و  لكل  و . في هذا الحال تكن كلمة  سابقة وتكن كلمة  لاحقة لكلمة . طول الكلمة المتسلسلة هي مجموع طول الكلمتين، أي:

وعدد المرات الذي يأتي فيه رمز  هو:

العنصر المحايد للتسلسل هو الكلمة الفارغة، لأن دائمًا يكن لأي كلمة :

التسلسل لم يكن عملية تبديلية، أي ليس دائمًا يكن . على سبيل المثال:

 انظر أيضًا 
 حوسبة

 مراجع 

تصنيف:رياضيات متقطعة
تصنيف:لغات شكلية
تصنيف:علم الحاسوب النظري