« Règle de réécriture » : différence entre les versions

Version du 7 avril 2021 à 16:43

Règle qui spécifie une équivalence entre deux séquences de symboles.

règle de récriture

règle de réécriture

rewriting rule

rewrite rule

Source : TermiumPlus

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:UTexas‏‎]]
 == Définition ==
-xxxxxxx
+Règle qui spécifie une équivalence entre deux séquences de symboles.
 == Français ==
-xxxxxxx
+'''règle de récriture'''
+'''règle de réécriture'''
 == Anglais ==
+'''rewriting rule'''
 '''rewrite rule'''
-a rule for modifying an expression, often expressed as an input pattern and an output pattern, e.g. <code>(- ?x (- ?y)) -> (+ ?x ?y)</code>
+<small>
+[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=rewrite+rule&index=alt&codom2nd_wet=1#resultrecs  Source : TermiumPlus  ]
-<small>
-[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]
+[[Catégorie:Révision‏‎]]