digraph g{
  1 [shape = doublecircle];
  node [shape = circle];
  1 -> 2 [ label="A-Za-z_" ];
  2:e -> 2:w [ label="A-Za-z_0-9"  ];
  2 -> K [ label="ε" ];
//  overlap=false;
}