Maude modules (rewrite theories) consists of a term-language plus sets of equations and rewrite-rules.
Οι μονάδες (modules) του Maude (θεωρίες επαναγραφής, rewrite theories) αποτελούνται από μια γλώσσα όρων και ένα σύνολο από ισότητες και κανόνες επαναγραφής.