Cortés Medina, Adán
(Universidad Michoacana de San Nicolás de Hidalgo. Universidad Nacional Autónoma de México, 2006-03)
To complete the work, we begin by defining the algebraic structures we are going to need. 1. Definitions. A monoid is a terna (M,, 1), in which M is any set; The function: M-> is associative (that is, for all my ? M we ...