VALABLE UNIQUEMENT MARDI APRES MIDI
EX1
a) Si le feu est au rouge, il passe au vert au prochain topH si P=0. A contrario, si P=1, il passe à l’orange.
b) Si le feu est au vert, si P=0, il reste au vert au prochain top horloge avant de passer au rouge. Si P=1, il passe à l’orange.
c) Si le feu est à l’orange, il passe à rouge au prochain topH.
EX2
A chaque top horloge, la tête de lecture X détecte soit A, soit C, soit G, soit T. Le but est de détecter les séquences temporelles de type AnT*C* . Cela signifie que le premier nucléotide détecté doit être un « A » , le dernier un des quatre.
Le symbole * veut dire qu'on accepte n'importe lequel des nucléotides (A,C,G,T) et l’exposant n (n supérieur ou égal à 1) indique qu'on accepte un nombre non déterminé du même nucléotide A.
Exemples de séquences AnT*C* : ATCCC,AAAAAAAATGCG, AATTCT, ATACA,