1 digraph SpanMap { 2 node [shape=box, width=0.3, height=0.3] 3 nodesep=.05 4 5 map [shape=record, width=6, label="<f0>|<f1>|<f2>|<f3>|<f4>|<f5>|<f6>|<f7>|<f8>|<f9>|<f10>"] 6 S0 [label="a"] 7 S1 [label="b"] 8 S2 [label="c"] 9 S3 [label="d"] 10 map:f0 -> S0 11 map:f1 -> S0 12 map:f2 -> S1 13 map:f3 -> S2 14 map:f4 -> S2 15 map:f5 -> S2 16 map:f6 -> S2 17 map:f7 -> S2 18 map:f8 -> S3 19 map:f9 -> S3 20 map:f10 -> S3 21 22 } 23
