/* Prints state expansions at time t for a FSA. Starts with 1 token in state 0. maxtime stateNum 4 5 (means and edge from 4 to 5) 3 6 -1 */ #include #include #define MAX_EDGES 10000 #define MAX_STATES 100 int states[MAX_STATES][MAX_EDGES]; int edges[MAX_STATES]; mpz_t SUMS[MAX_STATES]; mpz_t NEW_SUMS[MAX_STATES]; mpz_t SUM; int maxTime; int stateNum; int edgeNum; int main() { int i,j,k; for(i=0;i