Automate

Micro-machine, gérant son état interne et fournissant des services, dans certaines conditions opératoires >>

Automate à états

Machine abstraite, représentée par un graphe dont les noeuds sont les états et les liens les transitions, à l’aide duquel elle contrôle l’état et les transformations d’un objet

>>

Formalisme

Ensemble cohérent de règles qui président à un type d’expression et assurent, aux expressions résultantes, certaines qualités recherchées >>

Modéliser

Représenter rigoureusement une partie de la réalité, selon des règles formelles préétablies >>