الحاق (علوم رایانه)
در نظریهٔ محاسبات و مهندسی نرمافزار، عمل الحاق یا پیوند زنجیرهای (Concatenation) به عملی دوتایی گفته میشود که از دو رشتهٔ[۱] موجود رشتهٔ تازهای میسازد، یا با الحاق دو زبان داده شده یک زبان جدید درست میکند.
نظریهٔ محاسبات
ویرایشتعریف
ویرایشالحاق زبانهای و
با
نشان داده شده و به صورت زیر تعریف میگردد:
بار الحاق زبان
با خودش را با
نشان میدهیم، و
بهصورت
تعریف میشود.[۲]
مثال
ویرایشدو زبان و
را در نظر میگیریم . آنگاه داریم:
ملاحظه: عمل دوتائی الحاق دو زبان و
در نظریه محاسبات، درست نظیر عمل دوتائی ضرب دکارتی دو مجموعه
و
در نظریه مجموعهها است، وقتیکه، به جای عمل ضرب دو عنصر از مجموعه اول و مجموعه دوم، عمل الحاق دو رشته از زبان اول و زبان دوم را جایگزین نمائیم.
پانویس
ویرایشمنابع
ویرایش- Sudkamp, T. A., An Introduction to the Theory of Computer Science, Languages and Machines, 3rd ed., Pearson Education, Inc., 2006. ISBN 0-321-32221-5 [۱]
عملیات دوتایی | ||||
---|---|---|---|---|
عددی | تابعی | مجموعهای | ساختاری | |
مقدماتی + جمع حسابی div خارج قسمت اقلیدسی ترکیباتی () ضریب دوجملهای | ∘ ترکیب ∗ کانولوشن | جبر مجموعهها ∪ اجتماع ترتیب کلی توریها | مجموعهها × ضرب دکارتی گروهها ⊕ حاصلجمع مستقیم مدولها ⊗ ضرب تانسوری | درختها واریتههای متصل # جمع متصل فضاهای نقطهدار |
بُرداری | ||||
(.) ضرب اسکالر ∧ ضرب برداری | ||||
جبری | ||||
[,] کروشه لی {,} کروشه پواسون ∧ ضرب خارجی | ||||
هومولوژی | ||||
∪ cup-produit • حاصلضرب اشتراک | ترتیبی | |||
+ الحاق | ||||
منطق بولی | ||||
∧ عطف منطقی | ∨ فصل منطقی | ⊕ یای انحصاری | ⇒ استلزام منطقی | ⇔ اگر و فقط اگر |