Extended finite-state machine