- Forme normale (bases de données relationnelles)
- Forme normale (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