حساب کاربری
​
تغیر مسیر یافته از - عمل الحاق (علوم کامپیوتر)
زمان تقریبی مطالعه: 2 دقیقه
لینک کوتاه

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

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

فهرست

  • ۱ نظریهٔ محاسبات
    • ۱.۱ تعریف
      • ۱.۱.۱ مثال
  • ۲ پانویس
  • ۳ منابع

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

تعریف

الحاق زبان‌های X

و Y
با X Y
نشان داده شده و به صورت زیر تعریف می‌گردد:

X Y = { u v | u ∈ X a n d v ∈ Y }

n

بار الحاق زبان X
با خودش را با X n
نشان می‌دهیم، و X 0
به‌صورت { λ }
تعریف می‌شود.

مثال

دو زبان X = { a , b , c }

و Y = { b c c , c b }
را در نظر می‌گیریم . آنگاه داریم:

X Y = { a b c c , b b c c , c b c c , a c b , b c b , c c b }

X 0 = { λ }

X 1 = X = { a , b , c }

X 2 = X X = { a a , a b , a c , b a , b b , b c , c a , c b , c c }

X 3 = X X X = { a a a , a a b , a a c , a b a , a b b , a b c , a c a , a c b , a c c , b a a , b a b , b a c , b b a , b b b , b b c , b c a , b c b , b c c , c a a , c a b , c a c , c b a , c b b , c b c , c c a , c c b , c c c }

ملاحظه: عمل دوتائی الحاق دو زبان X

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

پانویس

  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 باقی‌مانده اقلیدسی
∧ بزرگ‌ترین مقسوم‌علیه مشترک
∨ کوچک‌ترین مضرب مشترک

ترکیباتی

() ضریب دوجمله‌ای
P جایگشت
C ترکیب

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

∪ اجتماع
\ متمم نسبی
∩ اشتراک
Δ تفاضل متقارن

ترتیب کلی

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

توری‌ها

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

مجموعه‌ها

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

گروه‌ها

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

مدول‌ها

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

درخت‌ها

∨ enracinement

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

# جمع متصل

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

∨ bouquet
∧ smash produit
∗ joint

بُرداری
(.) ضرب اسکالر
∧ ضرب برداری
جبری
[,] کروشه لی
{,} کروشه پواسون
∧ ضرب خارجی
هومولوژی
∪ cup-produit
• حاصل‌ضرب اشتراک
ترتیبی
+ الحاق
منطق بولی
∧ عطف منطقی∨ فصل منطقی⊕ یای انحصاری⇒ استلزام منطقی⇔ اگر و فقط اگر
آخرین نظرات
  • رشته
  • ضرب
کلیه حقوق این تارنما متعلق به فرا دانشنامه ویکی بین است.