let reach (transicoes,_,_:maquina) (state:estado) (ch:simbolo) = try Hashtbl.find transicoes (state,ch) with Not_found -> Sestado.empty