- Erzincan Üniversitesi Fen Bilimleri Enstitüsü Dergisi
- Vol: 13 Issue: Special Issue: I Special Issue
- Sonsuz Grupların Çapraz Çarpımı için Tam Yeniden Yazma Sistemi
Sonsuz Grupların Çapraz Çarpımı için Tam Yeniden Yazma Sistemi
Authors : Eylem Karpuz, Ayşe Çevik, Esra Kirmizi Çetinalp
Pages : 112-118
Doi:10.18185/erzifbed.638139
View : 6 | Download : 3
Publication Date : 2020-02-28
Article Type : Other
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