« Formule bien formée » : différence entre les versions

Dernière version du 29 janvier 2024 à 13:19

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

Sources

Source : TERMIUM Plus

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary

@@ 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.
-== en construction ==
+== Français ==
-[[Catégorie:Vocabulary]]
+'''formule bien formée'''
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:UTexas]]
-== Définition ==
+'''FBF'''
-xxxxxxx
-== Français ==
+'''formule correcte'''
-xxxxxxx
 == Anglais ==
 '''well-formed formula'''
-'''WEE '''  pronounced Woof
+'''WFF'''
-a formula composed of symbols that are arranged in a way that is allowed under the rules of the language.
-<small>
+==Sources==
+[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]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]