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

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

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