lectures.alex.balgavy.eu

Lecture notes from university.
git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
Log | Files | Refs | Submodules

model-while.dot (189B)

      1 digraph g {
      2 rankdir=LR
      3 1 -> 2 [label="a"]
      4 2 -> 3 [label="a"]
      5 3 -> 4 [label="a"]
      6 4 -> 5 [label="a"]
      7 5 -> 6 [label="a"]
      8 1 [xlabel="[p]"]
      9 2 [xlabel="[p]"]
     10 3 [xlabel="[p]"]
     11 4 [xlabel="[p]"]
     12 }
     13