In dictionaries:
Event-driven finite-state machine
In computation, a finite-state machine is event driven if the transition from one state to another is triggered by an event or a message.
Communicating finite-state machine
In computer science, a communicating finite-state machine is a finite state machine labeled with "receive" and "send" operations over some alphabet of channels.
more...