Typographie / Abbréviations

Typographie :

Nous avons essayé de respecter une certaine typographie afin de faciliter la lecture de ce document :

Times New Roman (normal): texte normal

Times New Roman (en italique): mots anglais, latins, français, espagnols etc. ; titres de publications, variables, fonctions, certaines formules

Courier New (normal): traits phonologiques, données informatiques, sources de programmes

Courier New (gras):éléments structuraux du parser, mots-clés d’un langage de programmation

caractère graS = caractère qui mérite une attention spéciale

MAJUSCULES = mots latins, noms de programmes, fichiers

«  » = citations ou caractère qui doit être utilisé tel quel dans un programme informatique

> = « évolue à »

< = « résultat de »

–or = terminaison -or

*mot = mot / forme hypothétique

[x] = transcription phonétique

/x/ = transcription phonologique

[±x] = trait distinctif

Symboles mathématiques

a Ù b = conjonction logique : « a ET b »

a Ú b = disjonction logique : « a OU b »

a := b, b =: a = a est défini comme b

f₁ o f₂ = la fonction f₁ est appliquée après la fonction f₂

f^-1 = fonction inversée : f(x) = y Þ f^-1(y) = x

A È B = union entre l’ensemble A et l’ensemble B

A \ B = ensemble A sans l’ensemble B

x Î L = x est un élément de l’ensemble L (Souvent exprimé par "e" tout simplement dans le document HTML)

x Ï L = x n’est pas un élément de l’ensemble L

a Û b = équivalence logique entre a et b

_i

S e_n = somme des éléments e₀, e₁, .., e_i

n=0

Abbréviations