La partie de génération pseudo-aléatoire et vérification des séquences généré  utilisant des automates acyclique et un langage fini de séquences.