محاسبات نرم

محاسبات نرم

۲ مطلب با کلمه‌ی کلیدی «نیمگروه» ثبت شده است

تکوار Monoid

۱۳
تیر

تکوار Monoid

ساختار جبری (+,M) را یک تکوار یا مونوئید نامیم هرگاه در سه شرط زیر صدق کنند:


شرط اول را بسته بودن مجموعه M، شرط دوم را شرکت پذیری عناصر M و شرط سوم را وجود عضو خنثی یا همانی در M می نامیم. 

یه عبارتی می توان گفت هر نیمگروه که عضو خنثی داشته باشد، یک تکوار (مونوئید) است.


  • فرشته تکراری

نیمگروه Semigroup

ساختار جبری (+,S) را یک نیمگروه گوییم هرگاه در دو شرط زیر صدق کند:


شرط اول را بسته بودن مجموعه S و شرط دوم را شرکت پذیری عناصر S نسبت به عمل + می نامیم.

مثال: مجموعه اعداد طبیعی همراه با عمل جمع معمولی یک نیمگروه است.


تذکر: لزوما عمل مورد استفاده در نیمگروه جمع معمولی نیست و علامت + در اینجا فقط نمایانگر یک عمل دوتایی است.

  • فرشته تکراری