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

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

تعريف
-----

لتكن \Sigma  ألفبائية وn عدد من {\displaystyle \mathbb {N} \_{0}}، التي هي الأعداد الطبيعية التي تتضمن الصفر ({\displaystyle \mathbb {N} \_{0}=\{0,1,2,\ldots \}}). أي كلمة w بطول n هي سلسلة محدودة الطول {\displaystyle (x\_{1},x\_{2},x\_{3},\ldots ,x\_{n})} حيث {\displaystyle x\_{i}\in \Sigma } لكل {\displaystyle i\in \{1,\ldots ,n\}}.

الطول (وهو عدد رموز الكلمة) n من أي كلمة w يُكتب {\displaystyle |w|}، وعدد المرات الذي يأتي فيه حرف x في كلمة w يُكتب {\displaystyle |w|\_{x}}.

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

غالبًا تُكتب الكلمات بالطريقة المبسطة {\displaystyle w=x\_{1}x\_{2}x\_{3}\ldots x\_{n}}.

أمثلة
-----

لتكن {\displaystyle \Sigma \_{1}} الألفبائية اللاتينية، و {\displaystyle \Sigma \_{2}=\lbrace \diamondsuit ,\heartsuit ,\spadesuit ,\clubsuit \rbrace }. من ثَم تكن {\displaystyle w\_{1}=book} و {\displaystyle w\_{2}=xyzzy} أمثلة لكلمات من الألفبائية {\displaystyle \Sigma \_{1}}، و {\displaystyle w\_{3}=\heartsuit \clubsuit \clubsuit \heartsuit \spadesuit } مثال لكلمة من {\displaystyle \Sigma \_{2}}. كما أن طول الكلمات هي {\displaystyle |w\_{1}|=4} و {\displaystyle |w\_{2}|=|w\_{3}|=5}. يأتي رمز {\displaystyle \clubsuit } مرتين في كلمة {\displaystyle w\_{3}}، لذلك {\displaystyle |w\_{3}|\_{\clubsuit }=2}.

العمليات على الكلمات
--------------------

### تسلسل

التَسَلسُل هو عملية ثنائية يربط كلمتين ليصبحوا كلمة واحدة، عن طريق إضافة رموز الكلمة الثانية إلى نهاية الكلمة الأولى دون تغيير ترتيبهم. تسلسل الكلمتين x و **خطأ رياضيات (SVG (يمكن تمكين MathML عبر البرنامج المساعد للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "http://localhost:6011/ar.wikipedia.org/v1/":): {\displaystyle y}**
 من ألفبائية \Sigma  يُكتب {\displaystyle xy} أو {\displaystyle x\circ y} وتعريفه هو:

{\displaystyle xy=x\circ y:=(x\_{1},x\_{2},x\_{3},\ldots ,x\_{n},y\_{1},y\_{2},y\_{3},\ldots ,y\_{k})}
وذلك عندما يكون تعريف الكلمتين هو {\displaystyle x=(x\_{1},x\_{2},x\_{3},\ldots ,x\_{n})} و {\displaystyle y=(y\_{1},y\_{2},y\_{3},\ldots ,y\_{k})} حيث {\displaystyle n,k\in \mathbb {N} \_{0}} و {\displaystyle x\_{i},y\_{j}\in \Sigma } لكل {\displaystyle i\in \{1,\ldots ,n\}} و {\displaystyle j\in \{1,\ldots ,k\}}. في هذا الحال تكن كلمة x سابقة وتكن كلمة {\displaystyle y} لاحقة لكلمة {\displaystyle x\circ y}. طول الكلمة المتسلسلة هي مجموع طول الكلمتين، أي:

{\displaystyle |x\circ y|=|x|+|y|}
وعدد المرات الذي يأتي فيه رمز s هو:

{\displaystyle |x\circ y|\_{s}=|x|\_{s}+|y|\_{s}}
العنصر المحايد للتسلسل هو الكلمة الفارغة، لأن دائمًا يكن لأي كلمة w:

{\displaystyle w\circ \varepsilon =\varepsilon \circ w=w}
التسلسل لم يكن عملية تبديلية، أي ليس دائمًا يكن {\displaystyle u\circ v=v\circ u}. على سبيل المثال:

{\displaystyle haus\circ \heartsuit \clubsuit \clubsuit \heartsuit \spadesuit =haus\heartsuit \clubsuit \clubsuit \heartsuit \spadesuit \not =\heartsuit \clubsuit \clubsuit \heartsuit \spadesuit haus=\heartsuit \clubsuit \clubsuit \heartsuit \spadesuit \circ haus}

انظر أيضًا
----------

* حوسبة

مراجع
-----

1. 1 2 3 4  Wiebke, Petersen (2006). "Introduction to the Theory of Formal Languages" (PDF) (بالإنجليزية). Riga. p. 3. Archived from the original (PDF) on 2021-01-25. Retrieved 2021-01-25.
2. ↑  Wiebke, Petersen (2006). "Introduction to the Theory of Formal Languages" (PDF) (بالإنجليزية). Riga. p. 7. Archived from the original (PDF) on 2021-01-25. Retrieved 2021-01-25.
3. ↑  Klaus Reinhardt: *Prioritatszahlerautomaten und die Synchronisation von Halbspursprachen*, Fakultät Informatik der Universität Stuttgart; Doktorarbeit 1994 (PDF; 509 KB) نسخة محفوظة 2018-01-17 على موقع واي باك مشين.
4. ↑  Sawa, Z (2020). "Introduction to Theoretical Computer Science" (PDF) (بالإنجليزية). p. 8. Archived from the original (PDF) on 2016-07-17. Retrieved 2021-01-25.
5. ↑  Nayuki Minase (10 مايو 2011). "Countable sets and Kleene star". *Project Nayuki*. مؤرشف من الأصل في 2020-11-02. اطلع عليه بتاريخ 2021-01-25.
6. ↑  Sawa, Z (2020). "Introduction to Theoretical Computer Science" (PDF) (بالإنجليزية). p. 9. Archived from the original (PDF) on 2016-07-17. Retrieved 2021-01-25.
7. 1 2  Wiebke, Petersen (2006). "Introduction to the Theory of Formal Languages" (PDF) (بالإنجليزية). Riga. p. 5. Archived from the original (PDF) on 2021-01-25. Retrieved 2021-01-25.
8. ↑  Sawa, Z (2020). "Introduction to Theoretical Computer Science" (PDF) (بالإنجليزية). p. 11. Archived from the original (PDF) on 2016-07-17. Retrieved 2021-01-25.
9. ↑  Sawa, Z (2020). "Introduction to Theoretical Computer Science" (PDF) (بالإنجليزية). p. 10. Archived from the original (PDF) on 2016-07-17. Retrieved 2021-01-25.

| * ع
* ن
* ت
المواضيع الأساسية في علم الحاسوب النظري |
| --- |
| علم الحاسوب النظري | 
* تحسيب
* خوارزميات
* نظرية المعلومات
* نظرية الأتمتة
* نظرية المخططات
* نظرية التعقيد الحسابي
* تشفير
* علم التعمية
* ترميز
* لغات شكلية
* استمثال (توضيح)
* بناء المترجمات البرمجية
* نظرية أنظمة التشغيل
* نظرية قواعد البيانات
* طريقة شكلية
* حوسبة طبيعية

 |
| معلوماتية عملية | 
* نظام تشغيل
* حوسبة
* رسوميات حاسوبية
* قواعد بيانات
* بنى بيانات
* برمجة

 |
| هندسة الحاسب | 
* تقنية المعلومات
* شبكة حاسوب
* عتاد الحاسوب
* أمن الحاسوب
* اختراق الحاسوب

 |
| معلوماتية عملية | 
* نظم معلومات
* معلوماتية حيوية
* معلوماتية جيولوجية
* كيمياء حاسوبية
* فيزياء حاسوبية
* معلوماتية اقتصادية
* وسائط متعددة

 |
| ذكاء اصطناعي | 
* تعلم الآلة
* معلوماتية عصبية
* تصنيف إحصائي
* لغويات حاسوبية

 |
| برمجيات | 
* لغات البرمجة
* برمجيات حرة
* برمجيات تجارية

 |
| أنظمة التشغيل | 
* دوس (نظام تشغيل)
* ويندوز
* يونكس
* لينكس
* ماك أو إس
* آي بي إم إيه آي إكس
* نتوير
* تاريخ أنظمة التشغيل

 |
| عتاد الحاسوب | 
* وحدة معالجة مركزية
* الذاكرة
* قرص صلب
* لوحة أم
* بطاقة الرسوميات
* بطاقة الشبكة
* تخزين ضوئي
* وحدات الإدخال والإخراج

 |

* أيقونة بوابةبوابة تقانة المعلومات
* أيقونة بوابةبوابة رياضيات
* أيقونة بوابةبوابة علم الحاسوب