Discussion:Automate temporisé
Dernier commentaire : il y a 7 ans par ManiacParisien dans le sujet Image représentant l'exemple
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Timed automaton » dans sa version du 17/06/2016.
Consultez l'historique de la page originale pour connaître la liste de ses auteurs.
Image représentant l'exemple modifier
Bonjour,
Je ne suis pas trop habitué à intervenir sur les pages Wikipedia et espère ne pas faire d'impair.
Juste pour prévenir que les contraintes d'horloges pour passer de t à s ont été inversées par rapport à l'article de B. Denis. Il faut donc mettre y>=4 /\ x >=6.
Je ne sais pas faire la modification dans le fichier image.
Bien à vous, Bernard Serpette
- Bonjour, merci pour votre observation. J'ai fait la correction ; s'il y a d'autres incohérences, je suis preneur. Bien cordialement, -- ManiacParisien (discuter) 17 mars 2017 à 15:27 (CET)