Finite state machines related domains (3)