Dans la suite, on adoptera des conventions strictes de notations, ceci
facilitera la lecture du chapitre. Les éléments de 
sont notés
par des lettres minuscules du début de l'alphabet 
éventuellement indexées si nécessaire 
,
ou bien des symboles appartenant à des langages de programmation.
Les éléments de 
sont choisis parmi les lettres majuscules 
par exemple. Enfin les mots de 
sont notés par 
et ceux de 
par 
, indexés si besoin est.