compilers-dot2tex-fig1.dot

digraph G {
  node [shape=rectangle];
  Entry -> B1;
  B1 -> B2
  B2 -> B3;
  B2 -> B5;
  B3 -> B2;
  B3 -> B4;
  B4 -> B2;
  B5 -> Exit;
}