For example, a vending machine may display balance, check availability, activate a motor to move the item from storage to delivery slot, and activate a solenoid to release change from the coin box.

In this work it is offered to use patterns of automata-based programming for designing logical control devices on the basis of finite state machines. To describe the functioning algorithm of the ...

When designing operant behaviour assays in systems neuroscience, it is useful to describe the task as a sequence of states the system goes through (e.g. stimulus on, stimulus off, reward, inter-trial ...