Re-layout iterative parser state diagram.

doc/diagram/iterative-parser-states-diagram.dot

 digraph {
-    splines=true;
+    fontname="Inconsolata, Consolas"
+    fontsize=10
+    margin="0,0"
+    penwidth=0.0
+    
+    node [fontname="Inconsolata, Consolas", fontsize=10, penwidth=0.5]
+    edge [fontname="Inconsolata, Consolas", fontsize=10, penwidth=0.5]
+
     node [shape = doublecircle]; Start; Finish;
-    node [shape = circle];
+    node [shape = box; style = "rounded, filled"; fillcolor=white ];
+
+    Start -> ArrayInitial [label=" ["];
+    Start -> ObjectInitial [label=" {"];
+
+    subgraph clusterArray {
+        margin="10,10"
+        style=filled
+        fillcolor=gray95
+        label = "Array"
+        
+        ArrayInitial; Element; ElementDelimiter; ArrayFinish;
+    }
+
+    subgraph clusterObject {
+        margin="10,10"
+        style=filled
+        fillcolor=gray95
+        label = "Object"
+
+        ObjectInitial; MemberKey; KeyValueDelimiter; MemberValue; MemberDelimiter; ObjectFinish;
+    }
+
+    ArrayInitial -> ArrayInitial [label="["];
+    ArrayInitial -> ArrayFinish [label=" ]"];
+    ArrayInitial -> ObjectInitial [label="{", constraint=false];
+    ArrayInitial -> Element [label="string\nfalse\ntrue\nnull\nnumber"];
 
-    Start -> ArrayInitial [label="["];
-    Start -> ObjectInitial [label="{"];
+    Element -> ArrayFinish [label="]"];
+    Element -> ElementDelimiter [label=","];
 
-    ObjectInitial -> ObjectFinish [label="}"];
-    ObjectInitial -> MemberKey [label="string"];
+    ElementDelimiter -> ArrayInitial [label=" ["];
+    ElementDelimiter -> ObjectInitial [label="{"];
+    ElementDelimiter -> Element [label="string\nfalse\ntrue\nnull\nnumber"];
+
+    ObjectInitial -> ObjectFinish [label=" }"];
+    ObjectInitial -> MemberKey [label=" string "];
 
     MemberKey -> KeyValueDelimiter [label=":"];
 
-    KeyValueDelimiter -> ArrayInitial [label="[ (push MemberValue)"];
-    KeyValueDelimiter -> ObjectInitial [label="{ (push MemberValue)"];
-    KeyValueDelimiter -> MemberValue [label="string|false|true|null|number"];
+    KeyValueDelimiter -> ArrayInitial [label="["];
+    KeyValueDelimiter -> ObjectInitial [label=" {"];
+    KeyValueDelimiter -> MemberValue [label=" string\n false\n true\n null\n number"];
 
     MemberValue -> ObjectFinish [label="}"];
     MemberValue -> MemberDelimiter [label=","];
 
-    MemberDelimiter -> MemberKey [label="string"];
-
-    ArrayInitial -> ArrayInitial [label="[ (push Element)"];
-    ArrayInitial -> ArrayFinish [label="]"];
-    ArrayInitial -> ObjectInitial [label="{ (push Element)"];
-    ArrayInitial -> Element [label="string|flase|true|null|number"];
-
-    Element -> ArrayFinish [label="]"];
-    Element -> ElementDelimiter [label=","];
-
-    ElementDelimiter -> ArrayInitial [label="[ (push Element)"];
-    ElementDelimiter -> ObjectInitial [label="{ (push Element)"];
-    ElementDelimiter -> Element [label="string|false|true|null|number"];
+    MemberDelimiter -> MemberKey [label=" string "];
 
     ArrayFinish -> Finish;
     ObjectFinish -> Finish;