ปล่อย เป็นตัวอักษรที่ จำกัด สำหรับภาษาที่ได้รับหนังสือประโยคเป็นความคิดที่รู้จักกันดีในทฤษฎีภาษาอย่างเป็นทางการ นอกจากนี้หนังสือตระหนักภาษา IFF มีอยู่ซึ่มส์เช่นว่า(L)))
จากนั้นเรามีผลลัพธ์ที่ดี:
monoidรู้จักถ้าเป็นภาพโฮโมมอร์ฟิคของ submonoid ของ (writen เป็น )
ข้างต้นมักจะกล่าวถึงในบริบทของภาษาปกติและจากนั้น monoids ข้างต้นล้วน แต่ จำกัด
ทีนี้สมมติว่าเราแทนที่ด้วย monoid โดยพลการและเราบอกว่าเซตย่อยได้รับการยอมรับจากหากมี morphismเช่นนั้น(L)) ถ้าอย่างนั้นเราก็ยังมีว่าถ้ารู้จักแล้ว (ดู S. Eilenberg, Automata, เครื่องจักรและภาษา, เล่ม B) แต่การสนทนานั้นมีไว้หรือไม่?
ในการพิสูจน์สำหรับการสนทนาได้รับการพิสูจน์โดยใช้ประโยชน์จากคุณสมบัติที่ว่าถ้าสำหรับมอร์ฟิซึ่มส์บางอย่างและเป็นมอร์ฟิซึ่มส์จากนั้นเราสามารถหาเช่นนั้นถือง่าย ๆ โดยเลือกสำหรับแต่ละและขยายนี้เพื่อซึ่มส์จากเพื่อMแต่สิ่งนี้ไม่ได้ผลกับ monoids โดยพลการดังนั้นฉันคาดว่าการสนทนาข้างต้นจะเป็นเท็จ และถ้ามันเป็นเรื่องเท็จสำหรับสิ่งที่ชนิดของ monoid ข้าง มันยังคงเป็นจริงหรือไม่และพวกมอยล์สได้รับความสนใจในงานวิจัยหรือไม่?