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

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.