Forme normale
Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.
Sur les autres projets Wikimedia :
- forme normale, sur le Wiktionnaire
Dans un système formel de description de formules (termes, propositions, grammaires, etc.) les formes normales sont des formules qui satisfont certaines « bonnes » propriétés qui en font d'une certaine façon des formules plus adéquates que d'autres.
- Forme normale (bases de données relationnelles)
- Forme normale du lambda-calcul
- En calcul des propositions : formes normales conjonctives et formes normales disjonctives
- En théorie des langages formels : forme normale de Chomsky, forme normale de Greibach, forme normale de Kuroda