입증된 기술을 사용하여 C에서 상태 머신을 어떻게 효율적으로 구현할 수 있습니까?

typedef struct {

    int st;

    int ev;

    int (*fn)(void);

} tTransition;

#define ST_ANY              -1

#define ST_INIT              0

#define ST_ERROR             1

#define EV_ANY              -1

#define EV_KEYPRESS       5000

#define EV_MOUSEMOVE      5001

static int GotKey (void) { ... };

static int FsmError (void) { ... };

tTransition trans[] = {

    { ST_INIT, EV_KEYPRESS, &GotKey},

    { ST_ANY, EV_ANY, &FsmError}

};

state = ST_INIT;

while (state != ST_TERM) {

    event = GetNextEvent();

    for (i = 0; i < TRANS_COUNT; i++) {

        if ((state == trans[i].st) || (ST_ANY == trans[i].st)) {

            if ((event == trans[i].ev) || (EV_ANY == trans[i].ev)) {

                state = (trans[i].fn)();

                break;

            }

        }

    }

}

typedef struct {

    int state;

    // Additional machine-specific data

} StateMachine;