img/1c.dot

   1 digraph {
   2         rankdir=LR;
   3         s0a [label="s0a: {x=0,y=0}"]
   4         s1a [label="s1a: {x=0,y=0}"]
   5         s2 [label="s2: {0<=x=1,y=0}"]
   6         s3 [label="s3: {0<=x=0,y=0}"]
   7
   8         s0b [label="s0b: {0<=x<1,0<=y<2}"]
   9         s1b [label="s1b: {x=0,0<=y<2}"]
  10
  11         s0a -> s1a
  12         s1a -> s2
  13         s2 -> s3
  14
  15         s3 -> s0b
  16         s0b -> s1b
  17         s1b -> s3
  18 }