有限自动机与构造

#include<stdio.h>
#include<unistd.h>
#include<stdlib.h>
typedef int state;
typedef int condition;  

#define STATENUM 4
#define STATE1 0
#define STATE2 1
#define STATE3 2
#define STATETRAP 3  

#define CONDITIONS 2
#define CONDITION1 0
#define CONDITION2 1  

typedef void (* actiontype)(state mystate,condition mycondition);
typedef struct{
  state next;
  actiontype action;
}trasition, *ptrasition;  

void action1(state mystate,condition myconditon);
void action2(state mystate,condition myconditon);
void action3(state mystate,condition myconditon);
void actiontrap(state mystate,condition myconditon);
trasition t1={
  STATE2,action1
};
trasition t2={
  STATE3,action2
};
trasition t3={
  STATE2,action3
};
trasition tt={
  STATETRAP,actiontrap
};  

void action1(state mystate,condition myconditon){
  printf("action1 one triggered\n");
}
void action2(state mystate,condition myconditon){
  printf("action2 one triggered\n");
}
void action3(state mystate,condition myconditon){
  printf("action3 one triggered\n");
}
void actiontrap(state mystate,condition myconditon){
  printf("actiontrap one triggered\n");
}  

ptrasition transition_table[STATENUM][CONDITIONS] = {
/*      c1,  c2*/
/* s1 */&t1, &tt,
/* s2 */&tt, &t2,
/* s3 */&t3, &tt,
/* st */&tt, &tt,
};
typedef struct
{
    state current;
} StateMachine, * pStateMachine;  

state step(pStateMachine machine, condition mycondition)
{
    ptrasition t = transition_table[machine->current][mycondition];
    (*(t->action))(machine->current, mycondition);
    machine->current = t->next;
    printf("the current state is %d\n",t->next );
    return machine->current;
}
int main(int argc, char *argv[])
{
  StateMachine mymachine;
  mymachine.current=STATE1;
  int mycon;
  char ch;
  while(1){
    scanf("%d",&mycon);
    step(&mymachine,mycon);
  }
  return 0;
}