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

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

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

تعریف 

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

 بار الحاق زبان  با خودش را با  نشان می‌دهیم، و 
 به‌صورت  تعریف می‌شود.

مثال 

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

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

پانویس

منابع 

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

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