Pourquoi la verification mecanique est necessaire
Le langage naturel n'a pas de concept de phrase invalide
Specification
Grammaire GEUL
Specification du format de flux binaire base sur l'identifiant semantique global SIDX 64 bits. Principes de conception, systeme de Prefix, 9 types de paquets et regles d'encodage.