InterrupteurEn électrotechnique, un interrupteur (dérivé de « rupture ») est un commutateur permettant seulement d'interrompre ou d'autoriser le passage d'un flux. Il ne faut pas confondre l'interrupteur qui permet d'éteindre ou d'allumer un appareil, et le commutateur qui permet de choisir entre plusieurs états actifs d'un appareil. Par extension, tout système destiné à interrompre quelque chose peut être dénommé interrupteur. right|thumb|upright|Différents types d'interrupteurs.
Table de transition d'étatDans la théorie des automates et en logique séquentielle, une table de transition d'état est un tableau montrant dans quel état (ou états dans le cas d'un automate fini non déterministe) d'un automate fini se déplacer, sur la base de l'état actuel et des autres entrées. Une table d'état est essentiellement une table de vérité, dans laquelle certaines des entrées sont l'état actuel, et les sorties comprennent l'état suivant, en même temps que les autres sorties.
And-inverter graphAn and-inverter graph (AIG) is a directed, acyclic graph that represents a structural implementation of the logical functionality of a circuit or network. An AIG consists of two-input nodes representing logical conjunction, terminal nodes labeled with variable names, and edges optionally containing markers indicating logical negation. This representation of a logic function is rarely structurally efficient for large circuits, but is an efficient representation for manipulation of boolean functions.
État (informatique)En informatique, le terme désigne plusieurs choses assez différentes concernant les processus d'exécution et les impressions sur papier. Dans le contexte des processus, un état est l'ensemble formé par les données entrées, les données temporaires, les données calculées et le pointeur d'instruction (et généralement l'état des registres) par un processus. Similairement aux états de process, dans le contexte d'un protocole de communication structuré en requêtes vers un serveur suivi de réponses, le protocole peut nécessiter que le serveur conserve un état dépendant de requêtes passées (contraire de serveur stateless).
