Formule bien formée


Révision datée du 27 janvier 2024 à 22:17 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)

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

Contributeurs: Isaline Hodecent, wiki