let
getTransition num =
List
.find (
fun
trans
->
trans.numt = num) (snd !automata)