digraph register3 {

  state000 [label="0"];
  state001 [label="0"];
  state010 [label="0"];
  state011 [label="0"];
  state100 [label="1"];
  state101 [label="1"];
  state110 [label="1"];
  state111 [label="1"];

  state000 -> state000 [label="L"];
  state000 -> state000 [label="R"];
  state000 -> state100 [label="F"];
  state001 -> state010 [label="L"];
  state001 -> state100 [label="R"];
  state001 -> state101 [label="F"];
  state010 -> state100 [label="L"];
  state010 -> state001 [label="R"];
  state010 -> state110 [label="F"];
  state011 -> state110 [label="L"];
  state011 -> state101 [label="R"];
  state011 -> state111 [label="F"];
  state100 -> state001 [label="L"];
  state100 -> state010 [label="R"];
  state100 -> state000 [label="F"];
  state101 -> state011 [label="L"];
  state101 -> state110 [label="R"];
  state101 -> state001 [label="F"];
  state110 -> state101 [label="L"];
  state110 -> state011 [label="R"];
  state110 -> state010 [label="F"];
  state111 -> state111 [label="L"];
  state111 -> state111 [label="R"];
  state111 -> state011 [label="F"];

}
