Συστήματα επανεγγραφής και ομολογία μονοειδών

• Κύριος συγγραφέας: Μαλλάς, Θεοφάνης
• Άλλοι συγγραφείς: Καραζέρης, Παναγής
• Μορφή: Thesis
• Γλώσσα: Greek
• Έκδοση: 2019
• Θέματα: Συστήματα επανεγγραφής όρων; Ομολογία μονοειδών; Ομολογιακή άλγεβρα; Αλγεβρική θεωρία; Ομολογία αλγεβρικών θεωριών; Term rewriting systems; Homology of monoids; Homological algebra; Algebraic theory

Στην παρούσα διπλωματική εργασία, αρχικά, μας απασχολεί το πρόβλημα των λέξεων για τα μονοειδή, το οποίο μπορεί να διατυπωθεί ως εξής: ΄Εστω μία παρουσίαση ενός μονοειδούς με γεννήτορες και ισότητες. Υπάρχει αλγόριθμος που χρησιμοποιεί τις ισότητες και μπορεί να υπολογίσει σε πεπερασμένο χρόνο αν δύ...