A la variable estado se le está asignando el valor de T_Tran[estado][col] que equivale a T_Tran[0][0] que es 1, por lo que va a contener el valor 1. Fijate:
Código C:
Ver original/* 0 1 */
/*0 1 2 3 4 0 1 2 3 4 */
{{1, ERR, OK, OK, OK}, {1, 1, OK, OK, OK}};
