Procédé HaberLe procédé Haber est un procédé chimique servant à la synthèse de l'ammoniac (NH3) par hydrogénation du diazote (N2) gazeux atmosphérique par le dihydrogène () gazeux en présence d'un catalyseur. C'est en 1909 que le chimiste allemand Fritz Haber parvint à mettre au point ce procédé. Une équipe de recherche de la société BASF mit au point, en 1913, la première application industrielle du procédé Haber : c'est le procédé Haber-Bosch.
CraquageLe craquage (cracking en anglais) est, en pétrochimie, la thermolyse du pétrole et de ses dérivés liquides. L'opération consiste à casser une molécule organique complexe en éléments plus petits, notamment des alcanes, des alcènes, des aldéhydes et des cétones. Les conditions de température et de pression, ainsi que la nature du catalyseur sont des éléments déterminants du craquage. En dehors de l'industrie pétrochimique, le craquage comprend toute dissociation induite d'une molécule (par exemple, le craquage de l'eau), à travers un processus tel que la thermolyse, la pyrolyse ou la photolyse.
Normal form (abstract rewriting)In abstract rewriting, an object is in normal form if it cannot be rewritten any further, i.e. it is irreducible. Depending on the rewriting system, an object may rewrite to several normal forms or none at all. Many properties of rewriting systems relate to normal forms. Stated formally, if (A,→) is an abstract rewriting system, x∈A is in normal form if no y∈A exists such that x→y, i.e. x is an irreducible term. An object a is weakly normalizing if there exists at least one particular sequence of rewrites starting from a that eventually yields a normal form.
Confluence (informatique)vignette|Le nom « confluence » est le même que celui utilisé en géographie : deux cours d'eau se rejoignent. En mathématiques, ou en informatique, la confluence d'une relation binaire est définie comme la propriété suivante : Pour tous éléments tels que et , il existe un élément tel que et . La confluence est équivalente à la propriété de Church-Rosser. La confluence locale est une propriété plus faible que la confluence, utile pour les systèmes de réécriture. Elle est définie par : Pour tous éléments tels que et , il existe un élément tel que et .
