decided to represent state trasitions as a latex table