let epsilon_trans_aux state maq = 
  let transicoes,b,c = maq in
  map (function (a,b) -> b) 
    (filter (function (x,y) -> x=(state,None)) transicoes)