محاسبات نرم

محاسبات نرم

۱ مطلب با کلمه‌ی کلیدی «مونوئید» ثبت شده است

تکوار Monoid

۱۳
تیر

تکوار Monoid

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


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

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


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