« Formule bien formée » : différence entre les versions
m (Isaline a déplacé la page Well-formed formula vers Formule bien formée) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | |||
Expression ou énoncé construit exclusivement à l'aide de symboles appartenant à l'alphabet d'un langage formel et conforme à la syntaxe de ce langage. | |||
== | == Français == | ||
'''formule bien formée''' | |||
'''FBF''' | |||
''formule correcte''' | |||
== Anglais == | == Anglais == | ||
'''well-formed formula''' | '''well-formed formula''' | ||
''' | '''WFF''' | ||
<small> | <small> | ||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=WELL-FORMED+FORMULA&codom2nd_wet=1#resultrecs Source : TERMIUM Plus ] | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8396998 Source : Le grand dictionnaire terminologique ] | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[[Catégorie:Publication]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:UTexas]] | |||
Version du 31 mars 2021 à 10:41
Définition
Expression ou énoncé construit exclusivement à l'aide de symboles appartenant à l'alphabet d'un langage formel et conforme à la syntaxe de ce langage.
Français
formule bien formée
FBF
formule correcte'
Anglais
well-formed formula
WFF
Contributeurs: Isaline Hodecent, wiki
