Generalisasi pernyataan bahwa monoid mengenali bahasa iff sintaksis monoid membagi monoid

9

Biarkan menjadi alfabet terbatas. Untuk bahasa tertentu yang sintaksis monoid adalah gagasan terkenal dalam teori bahasa formal. Selanjutnya, monoid mengenali bahasa jika ada morfisme sedemikian rupa sehingga .L A ALA M L φ : A M L = φ - 1 ( φ ( L ) ) )M(L)MLφ:AML.=φ-1(φ(L.)))

Maka kami memiliki hasil yang bagus:

monoid mengenali jika adalah gambar homomorfis dari submonoid (ditulis sebagai ).L A M ( L ) M M ( L ) MM.L.SEBUAHM.(L.)M.M.(L.)M.

Di atas biasanya menyatakan dalam konteks bahasa reguler, dan kemudian monoids di atas semua terbatas.

Sekarang anggaplah kita mengganti dengan monoid sewenang-wenang , dan kita mengatakan bahwa subset dikenali oleh jika ada morfisme sedemikian rupa sehingga . Maka kita masih memiliki itu jika mengenali , maka (lihat S. Eilenberg, Automata, Mesin dan Bahasa, Volume B), tetapi apakah kebalikannya berlaku? N L N M φ : N M L = φ - 1 ( φ ( L ) ) M L M ( L ) MSEBUAHNL.NM.φ:NM.L.=φ-1(φ(L.))M.L.M.(L.)M.

Dalam bukti untuk kebalikannya dibuktikan dengan mengeksploitasi properti bahwa jika untuk beberapa morfisme dan juga merupakan morfisme, maka kita dapat menemukan sedemikian rupa sehingga bertahan, cukup dengan memilih beberapa untuk setiap dan memperluas ini untuk morphism dari ke . Tapi ini tidak bekerja untuk monoids sewenang-wenang jadi saya berharap sebaliknya berbicara salah. Dan jika itu salah, untuk monoid apa selain N = φ ( M ) φ : M N ψ : A N ρ : A M φ ( ρ ( u ) ) = ψ ( u ) ρ ( x ) φ - 1 ( ψ ( x )) ) x A A M N A SEBUAHN=φ(M.)φ:M.Nψ:SEBUAHNρ:SEBUAHM.φ(ρ(kamu))=ψ(kamu)ρ(x)φ1(ψ(x))xAAMNA apakah itu masih benar, dan apakah monoids tersebut telah mendapat perhatian dalam literatur penelitian?

StefanH
sumber
Akhir paragraf pertama: bukan L bukan A?
Mateus de Oliveira Oliveira
@MateusdeOliveiraOliveira Ya, terima kasih telah memperhatikan!
StefanH

Jawaban:

5

Ya, monoids ini telah mendapat perhatian dalam literatur penelitian dan benar-benar mengarah pada pertanyaan yang sulit.

Definisi . Monoid disebut proyektif jika sifat berikut ini berlaku: jika f : N R adalah morfisme monoid dan h : T R adalah morfisme surjektif, maka terdapat morfisme g : N T sedemikian sehingga f = h g .Nf:NRh:TRg:NTf=hg

Anda dapat menemukan diskusi panjang tentang monoid proyektif di [1], tepat setelah Definisi 4.1.33. Ditunjukkan secara khusus bahwa setiap semi-grup hingga proyektif adalah sebuah band (sebuah semi-grup di mana setiap elemen idempoten). Tetapi kebalikannya tidak benar dan itu sebenarnya merupakan masalah terbuka untuk memutuskan apakah suatu semi-grup terbatas bersifat projektif.

[1] J. Rhodes dan B. Steinberg, Teori dari semigroup terbatasq . Monografi Springer dalam Matematika. Springer, New York, 2009. xxii + 666 hal. ISBN: 978-0-387-09780-0

J.-E. Pin
sumber
Terima kasih atas jawaban anda! Tetapi apakah properti ini benar-benar diperlukan, maksud saya itu sudah cukup, tetapi apakah "properti pembagian" dari monoid sintaksis benar-benar gagal secara umum, dan jika demikian, apakah Anda memiliki contoh (atau contoh berlawanan bahwa jika mono sintaksis membagi monoid lain) , maka monoid lain juga mengenali bagian dari mana monoid sintaksis dibangun)?
StefanH