الحاق (علوم رایانه)

در نظریهٔ محاسبات و مهندسی نرم‌افزار، عمل الحاق یا پیوند زنجیره‌ای (Concatenation) به عملی دوتایی گفته می‌شود که از دو رشتهٔString موجود رشتهٔ تازه‌ای می‌سازد، یا با الحاق دو زبان داده شده یک زبان جدید درست می‌کند.

 نظریهٔ محاسبات 

 تعریف 

الحاق زبان‌های  و  با  نشان داده شده و به صورت زیر تعریف می‌گردد:

 بار الحاق زبان  با خودش را با  نشان می‌دهیم، و 
 به‌صورت  تعریف می‌شود.An Introduction to the Theory of Computer Science, p. ۴۷

 مثال 

دو زبان  و  را در نظر می‌گیریم . آنگاه داریم:

ملاحظه: عمل دوتائی الحاق دو زبان  و  در نظریه محاسبات، درست نظیر عمل دوتائی ضرب دکارتی دو مجموعه  و  در نظریه مجموعه‌ها است، وقتی‌که، به جای عمل ضرب دو عنصر از مجموعه اول و مجموعه دوم، عمل الحاق دو رشته از زبان اول و زبان دوم را جایگزین نمائیم.

 پانویس 

 منابع 

 Sudkamp, T. A., An Introduction to the Theory of Computer Science, Languages and Machines, 3rd ed., Pearson Education, Inc., 2006.  

رده:رشته (علوم رایانه)
رده:زبان‌های صوری
رده:عملگرها (برنامه‌نویسی)
رده:عملیات دوتایی
رده:نظریه محاسبات