The change from one state to another in a finite state machine. Analogously, an edge in a directed graph.