الحاق (علوم کامپیوتر)

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

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

نظریهٔ محاسبات[ویرایش]

نوشتار اصلی: نظریه محاسبات

تعریف[ویرایش]

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

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

مثال[ویرایش]

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

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

پانویس[ویرایش]

  1. String
  2. 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. ISBN 0-321-32221-5 [۱]
عملیات دوتایی
عددی تابعی مجموعه‌ای ساختاری
مقدماتی

+ جمع
تفریق
× ضرب
÷ تقسیم
^ توان

حسابی

div خارج قسمت اقلیدسی
mod باقیمانده اقلیدسی
بزرگترین مقسوم علیه مشترک
کوچکترین مضرب مشترک

ترکیباتی

( ) ضریب بینم
A جایگشت

ترکیب
کانولوشن
جبر مجموعه‌ها

اجتماع
\ مجموعه مکمل
اشتراک
Δ تفاضل متقارن

ترتیب کلی

min کمینه
max بیشینه

توری‌ها

کرانه تحتانی
کرانه فوقانی

مجموعه‌ها

× ضرب دکارتی
اجتماع منفصل
^ توان مجموعه‌ای

گروه‌ها

حاصل‌جمع مستقیم
حاصل ضرب آزاد
produit en couronne

مدول‌ها

ضرب تانسوری
Hom هومومورفیزم
Tor پیچش
Ext extensions

درخت‌ها

enracinement

واریته‌های متصل

# جمع متصل

فضاهای نقطه‌دار

bouquet
smash produit
joint

برداری
(.) ضرب اسکالر
ضرب برداری
جبری
[,] کروشه لی
{,} کروشه پواسون
ضرب خارجی
هومولوژی
cup-produit
حاصل ضرب اشتراک
ترتیبی
+ الحاق
منطق بولی
عطف منطقی فصل منطقی یای انحصاری استلزام منطقی اگر و فقط اگر