talk/figreg.ladot

   1 digraph  {
   2
   3 struct1  [shape=record, label="...|<ak> $a_k$ | <akp1> $a_{k+1}$| <akp2> $a_{k+2}$  | <akpd1> ...  | <akpd2> ... |<akprm1> $a_{k+r-1}$ |<akpr> $a_{k+r}$|...",pos="2,2!"];
   4
   5 q0   [label="$q_0$",pos="0,1!"]
   6 q1   [label="$q_1$",pos="0.8,1!"]
   7 q2   [label="$q_2$",pos="1.6,1!"]
   8 qd1  [label="...",pos="2.4,1!"]
   9 qd2  [label="...",pos="3.2,1!"]
  10 qrm1 [label="$q_{r-1}$",pos="4.06,1!"]
  11
  12 s  [label="$\sum$", pos="6,0!"]
  13
  14
  15 struct1:ak -> q0
  16 struct1:akp1 -> q1
  17 struct1:akp2 -> q2
  18 struct1:akprm1 -> qrm1
  19 struct1:akpd1 -> qd1
  20 struct1:akpd2 -> qd2
  21
  22 q0:s -> s
  23 q1:s -> s
  24 q2:s -> s
  25 qrm1:s -> s
  26 qd1:s  -> s
  27 qd2:s -> s
  28
  29 s -> struct1:akpr:s [label="$\mod p$"]
  30
  31
  32 }