Monoid bebas: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tidak ada ringkasan suntingan Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
Add 1 book for Wikipedia:Pemastian (20210209)) #IABot (v2.0.8) (GreenC bot |
||
Baris 37:
=== Ekuidivisibilitas ===
Monoid bebas adalah '''equidivisible''': jika persamaan '' mn '' = '' pq '' berlaku, maka terdapat '' s '' sehingga ''m'' = ''ps'', ''sn'' = ''q'' (contoh lihat gambar) atau ''ms'' = ''p'', ''n'' = ''sq''.<ref name=Sak26>Sakarovitch (2009) p.26</ref> Hasil ini juga dikenal sebagai [[lemma Levi]].<ref name="LucaVarricchio2011">{{cite book|author1=Aldo de Luca|author2=Stefano Varricchio|title=Finiteness and Regularity in Semigroups and Formal Languages|url=https://archive.org/details/finitenessregula00luca|year=1999|publisher=Springer Berlin Heidelberg|isbn=978-3-642-64150-3|page=[https://archive.org/details/finitenessregula00luca/page/n10 2]}}</ref>
Sebuah monoid bebas jika dan hanya jika bertingkat dan equidivisible.<ref name=Sak26/>
| |||