let step ((transicoes,b,c) as maquina) ((states, restante) as config)= match restante with [] -> raise (FIM config) | a::w -> (next maquina config a,w)