| English | German |
| Chomsky normal-form grammar | Chomsky-Normalform-Grammatik (eine kontextfreie Grammatik) |
| conjunctive normal form | konjunktive Normalform (Konjunktion von Disjunktionen von Literalen) |
| disjunctive normal form | disjunktive Normalform (Disjunktion von Konjunktionen von Literalen) |
| Greibach normal-form grammar | Greibach-Normalform-Grammatik (eine kontextfreie Grammatik) |
| normal-form grammar | Normalformgrammatik |
| positive normal-form theorem | Theorem der positiven Normalform |
| prenex normal form | PNF (alle Quantoren stehen am Beginn der Formel) |
| prenex normal form | pränexe Normalform |
| quantifier-free conjunctive normal form | quantorenfreie konjunktive Normalform |
| quantifier-free normal form | quantorenfreie Normalform |