digraph ndfaminimizedClientDBjavaFind {
 rankdir = LR ;
 
  [shape=circle , label= , color=green];
 
 
 
 node [shape=none, lavel=initialState, style = invis];
_newState -> [color = green];
 
}