Complete Rewriting System for Crossed Product of Infinite Groups
Autor: | Eylem Güzel Karpuz, Esra Kirmizi Çetinalp, Ayşe Çevik |
---|---|
Jazyk: | turečtina |
Rok vydání: | 2019 |
Předmět: | |
Zdroj: | Volume: 13, Issue: ÖZEL SAYI I 112-118 Erzincan University Journal of Science and Technology |
ISSN: | 1307-9085 2149-4584 |
Popis: | Buçalışmada; ilk olarak iki serbest grubun çapraz çarpımının monoid sunuşu içinkelime probleminin çözülebilir olduğu incelenmiştir. Bunun için teorikbilgisayar biliminde de önemli bir yeri olan yeniden yazma sistemi tekniğikullanılmıştır. Daha sonra ise rankları 2 olan iki serbest abelyan grubunçapraz çarpımının sunuşu elde edilmiştir. In this work, firstly, it is investigated the solvability of the word problem for monoid presentation of crossedproduct of two free groups. To do that it is used rewriting system method which has an important role intheoretical computer science. Then it is obtained a presentation for crossed product of two free abelian groupsof rank 2. |
Databáze: | OpenAIRE |
Externí odkaz: |