Sonsuz Grupların Çapraz Çarpımı için Tam Yeniden Yazma Sistemi

Authors : Eylem KARPUZ, Ayşe ÇEVİK, Esra KIRMIZI ÇETİNALP

Pages : 112-118

Doi:10.18185/erzifbed.638139

View : 14 | Download : 12

Publication Date : 2020-02-28

Article Type : Conference Paper

Abstract :Bu çalışmada; ilk olarak iki serbest grubun çapraz çarpımının monoid sunuşu için kelime probleminin çözülebilir olduğu incelenmiştir. Bunun için teorik bilgisayar biliminde de önemli bir yeri olan yeniden yazma sistemi tekniği kullanılmıştır. Daha sonra ise rankları 2 olan iki serbest abelyan grubun çapraz çarpımının sunuşu elde edilmiştir.
Keywords : Yeniden Yazma Sistemi, Kelime Problemi, Çapraz çarpım