גרמנית ⇄ אנגלית +

Umformregelsystem n
.בינה	rewrite-rule system; rewriting system