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

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Μαλλάς, Θεοφάνης
Άλλοι συγγραφείς: Καραζέρης, Παναγής
Μορφή: Thesis
Γλώσσα:Greek
Έκδοση: 2019
Θέματα:
Διαθέσιμο Online:http://hdl.handle.net/10889/12878

Παρόμοια τεκμήρια