docs/beta/notebooks/PICS/Parser-synopsis-1.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.49.3 (20211023.0002)
 -->
<!-- Pages: 1 -->
<svg width="646pt" height="227pt"
 viewBox="0.00 0.00 646.00 227.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 223)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-223 642,-223 642,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<text text-anchor="middle" x="263" y="-207.8" font-family="Times,serif" font-size="14.00">&lt;start&gt;</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<text text-anchor="middle" x="263" y="-156.8" font-family="Times,serif" font-size="14.00">&lt;phone&#45;number&gt;</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M263,-203.69C263,-197.18 263,-187.1 263,-178.43"/>
<polygon fill="black" stroke="black" points="266.5,-178.26 263,-168.26 259.5,-178.26 266.5,-178.26"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<text text-anchor="middle" x="128" y="-105.8" font-family="Times,serif" font-size="14.00">(</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M240.36,-152.9C215.35,-145.33 174.12,-132.02 140,-117 139.9,-116.95 139.79,-116.91 139.69,-116.86"/>
<polygon fill="black" stroke="black" points="141.18,-113.69 130.7,-112.13 137.92,-119.88 141.18,-113.69"/>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<text text-anchor="middle" x="169" y="-105.8" font-family="Times,serif" font-size="14.00">&lt;area&gt;</text>
</g>
<!-- 1&#45;&gt;3 -->
<g id="edge3" class="edge">
<title>1&#45;&gt;3</title>
<path fill="none" stroke="black" d="M250.32,-152.89C234.96,-144.88 208.84,-131.27 190.35,-121.63"/>
<polygon fill="black" stroke="black" points="191.96,-118.52 181.48,-117 188.73,-124.73 191.96,-118.52"/>
</g>
<!-- 10 -->
<g id="node11" class="node">
<title>10</title>
<text text-anchor="middle" x="236" y="-105.8" font-family="Times,serif" font-size="14.00">)</text>
</g>
<!-- 1&#45;&gt;10 -->
<g id="edge10" class="edge">
<title>1&#45;&gt;10</title>
<path fill="none" stroke="black" d="M259.25,-152.69C255.2,-145.35 248.66,-133.48 243.55,-124.2"/>
<polygon fill="black" stroke="black" points="246.48,-122.27 238.59,-115.2 240.35,-125.65 246.48,-122.27"/>
</g>
<!-- 11 -->
<g id="node12" class="node">
<title>11</title>
<text text-anchor="middle" x="291" y="-105.8" font-family="Times,serif" font-size="14.00">&lt;exchange&gt;</text>
</g>
<!-- 1&#45;&gt;11 -->
<g id="edge11" class="edge">
<title>1&#45;&gt;11</title>
<path fill="none" stroke="black" d="M266.89,-152.69C270.82,-145.81 277.02,-134.96 282.15,-125.98"/>
<polygon fill="black" stroke="black" points="285.22,-127.67 287.14,-117.26 279.14,-124.2 285.22,-127.67"/>
</g>
<!-- 18 -->
<g id="node19" class="node">
<title>18</title>
<text text-anchor="middle" x="346" y="-105.8" font-family="Times,serif" font-size="14.00">&#45;</text>
</g>
<!-- 1&#45;&gt;18 -->
<g id="edge18" class="edge">
<title>1&#45;&gt;18</title>
<path fill="none" stroke="black" d="M274.19,-152.89C290.01,-143.55 318.75,-126.59 334.65,-117.2"/>
<polygon fill="black" stroke="black" points="336.46,-120.2 343.29,-112.1 332.9,-114.17 336.46,-120.2"/>
</g>
<!-- 19 -->
<g id="node20" class="node">
<title>19</title>
<text text-anchor="middle" x="497" y="-105.8" font-family="Times,serif" font-size="14.00">&lt;line&gt;</text>
</g>
<!-- 1&#45;&gt;19 -->
<g id="edge19" class="edge">
<title>1&#45;&gt;19</title>
<path fill="none" stroke="black" d="M294.07,-152.99C339.77,-143.43 424.43,-125.7 468.56,-116.45"/>
<polygon fill="black" stroke="black" points="469.29,-119.88 478.36,-114.4 467.85,-113.03 469.29,-119.88"/>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<text text-anchor="middle" x="35" y="-54.8" font-family="Times,serif" font-size="14.00">&lt;lead&#45;digit&gt;</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge4" class="edge">
<title>3&#45;&gt;4</title>
<path fill="none" stroke="black" d="M151.21,-101.99C128.48,-93.68 88.92,-79.22 62.35,-69.5"/>
<polygon fill="black" stroke="black" points="63.46,-66.18 52.87,-66.03 61.06,-72.76 63.46,-66.18"/>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<text text-anchor="middle" x="109" y="-54.8" font-family="Times,serif" font-size="14.00">&lt;digit&gt;</text>
</g>
<!-- 3&#45;&gt;6 -->
<g id="edge6" class="edge">
<title>3&#45;&gt;6</title>
<path fill="none" stroke="black" d="M160.66,-101.69C151.52,-94.23 136.65,-82.08 125.21,-72.73"/>
<polygon fill="black" stroke="black" points="127.23,-69.87 117.27,-66.26 122.8,-75.29 127.23,-69.87"/>
</g>
<!-- 8 -->
<g id="node9" class="node">
<title>8</title>
<text text-anchor="middle" x="169" y="-54.8" font-family="Times,serif" font-size="14.00">&lt;digit&gt;</text>
</g>
<!-- 3&#45;&gt;8 -->
<g id="edge8" class="edge">
<title>3&#45;&gt;8</title>
<path fill="none" stroke="black" d="M169,-101.69C169,-95.18 169,-85.1 169,-76.43"/>
<polygon fill="black" stroke="black" points="172.5,-76.26 169,-66.26 165.5,-76.26 172.5,-76.26"/>
</g>
<!-- 5 -->
<g id="node6" class="node">
<title>5</title>
<text text-anchor="middle" x="35" y="-3.8" font-family="Times,serif" font-size="14.00">5</text>
</g>
<!-- 4&#45;&gt;5 -->
<g id="edge5" class="edge">
<title>4&#45;&gt;5</title>
<path fill="none" stroke="black" d="M35,-50.69C35,-44.18 35,-34.1 35,-25.43"/>
<polygon fill="black" stroke="black" points="38.5,-25.26 35,-15.26 31.5,-25.26 38.5,-25.26"/>
</g>
<!-- 7 -->
<g id="node8" class="node">
<title>7</title>
<text text-anchor="middle" x="109" y="-3.8" font-family="Times,serif" font-size="14.00">5</text>
</g>
<!-- 6&#45;&gt;7 -->
<g id="edge7" class="edge">
<title>6&#45;&gt;7</title>
<path fill="none" stroke="black" d="M109,-50.69C109,-44.18 109,-34.1 109,-25.43"/>
<polygon fill="black" stroke="black" points="112.5,-25.26 109,-15.26 105.5,-25.26 112.5,-25.26"/>
</g>
<!-- 9 -->
<g id="node10" class="node">
<title>9</title>
<text text-anchor="middle" x="169" y="-3.8" font-family="Times,serif" font-size="14.00">5</text>
</g>
<!-- 8&#45;&gt;9 -->
<g id="edge9" class="edge">
<title>8&#45;&gt;9</title>
<path fill="none" stroke="black" d="M169,-50.69C169,-44.18 169,-34.1 169,-25.43"/>
<polygon fill="black" stroke="black" points="172.5,-25.26 169,-15.26 165.5,-25.26 172.5,-25.26"/>
</g>
<!-- 12 -->
<g id="node13" class="node">
<title>12</title>
<text text-anchor="middle" x="243" y="-54.8" font-family="Times,serif" font-size="14.00">&lt;lead&#45;digit&gt;</text>
</g>
<!-- 11&#45;&gt;12 -->
<g id="edge12" class="edge">
<title>11&#45;&gt;12</title>
<path fill="none" stroke="black" d="M284.33,-101.69C277.23,-94.45 265.82,-82.79 256.78,-73.57"/>
<polygon fill="black" stroke="black" points="259.12,-70.95 249.62,-66.26 254.12,-75.85 259.12,-70.95"/>
</g>
<!-- 14 -->
<g id="node15" class="node">
<title>14</title>
<text text-anchor="middle" x="317" y="-54.8" font-family="Times,serif" font-size="14.00">&lt;digit&gt;</text>
</g>
<!-- 11&#45;&gt;14 -->
<g id="edge14" class="edge">
<title>11&#45;&gt;14</title>
<path fill="none" stroke="black" d="M294.62,-101.69C298.22,-94.88 303.9,-84.19 308.63,-75.27"/>
<polygon fill="black" stroke="black" points="311.82,-76.73 313.42,-66.26 305.64,-73.45 311.82,-76.73"/>
</g>
<!-- 16 -->
<g id="node17" class="node">
<title>16</title>
<text text-anchor="middle" x="377" y="-54.8" font-family="Times,serif" font-size="14.00">&lt;digit&gt;</text>
</g>
<!-- 11&#45;&gt;16 -->
<g id="edge16" class="edge">
<title>11&#45;&gt;16</title>
<path fill="none" stroke="black" d="M302.6,-101.89C316.4,-94.03 339.68,-80.77 356.53,-71.16"/>
<polygon fill="black" stroke="black" points="358.63,-74 365.59,-66 355.16,-67.91 358.63,-74"/>
</g>
<!-- 13 -->
<g id="node14" class="node">
<title>13</title>
<text text-anchor="middle" x="243" y="-3.8" font-family="Times,serif" font-size="14.00">9</text>
</g>
<!-- 12&#45;&gt;13 -->
<g id="edge13" class="edge">
<title>12&#45;&gt;13</title>
<path fill="none" stroke="black" d="M243,-50.69C243,-44.18 243,-34.1 243,-25.43"/>
<polygon fill="black" stroke="black" points="246.5,-25.26 243,-15.26 239.5,-25.26 246.5,-25.26"/>
</g>
<!-- 15 -->
<g id="node16" class="node">
<title>15</title>
<text text-anchor="middle" x="317" y="-3.8" font-family="Times,serif" font-size="14.00">8</text>
</g>
<!-- 14&#45;&gt;15 -->
<g id="edge15" class="edge">
<title>14&#45;&gt;15</title>
<path fill="none" stroke="black" d="M317,-50.69C317,-44.18 317,-34.1 317,-25.43"/>
<polygon fill="black" stroke="black" points="320.5,-25.26 317,-15.26 313.5,-25.26 320.5,-25.26"/>
</g>
<!-- 17 -->
<g id="node18" class="node">
<title>17</title>
<text text-anchor="middle" x="377" y="-3.8" font-family="Times,serif" font-size="14.00">7</text>
</g>
<!-- 16&#45;&gt;17 -->
<g id="edge17" class="edge">
<title>16&#45;&gt;17</title>
<path fill="none" stroke="black" d="M377,-50.69C377,-44.18 377,-34.1 377,-25.43"/>
<polygon fill="black" stroke="black" points="380.5,-25.26 377,-15.26 373.5,-25.26 380.5,-25.26"/>
</g>
<!-- 20 -->
<g id="node21" class="node">
<title>20</title>
<text text-anchor="middle" x="437" y="-54.8" font-family="Times,serif" font-size="14.00">&lt;digit&gt;</text>
</g>
<!-- 19&#45;&gt;20 -->
<g id="edge20" class="edge">
<title>19&#45;&gt;20</title>
<path fill="none" stroke="black" d="M488.66,-101.69C479.52,-94.23 464.65,-82.08 453.21,-72.73"/>
<polygon fill="black" stroke="black" points="455.23,-69.87 445.27,-66.26 450.8,-75.29 455.23,-69.87"/>
</g>
<!-- 22 -->
<g id="node23" class="node">
<title>22</title>
<text text-anchor="middle" x="497" y="-54.8" font-family="Times,serif" font-size="14.00">&lt;digit&gt;</text>
</g>
<!-- 19&#45;&gt;22 -->
<g id="edge22" class="edge">
<title>19&#45;&gt;22</title>
<path fill="none" stroke="black" d="M497,-101.69C497,-95.18 497,-85.1 497,-76.43"/>
<polygon fill="black" stroke="black" points="500.5,-76.26 497,-66.26 493.5,-76.26 500.5,-76.26"/>
</g>
<!-- 24 -->
<g id="node25" class="node">
<title>24</title>
<text text-anchor="middle" x="557" y="-54.8" font-family="Times,serif" font-size="14.00">&lt;digit&gt;</text>
</g>
<!-- 19&#45;&gt;24 -->
<g id="edge24" class="edge">
<title>19&#45;&gt;24</title>
<path fill="none" stroke="black" d="M505.34,-101.69C514.48,-94.23 529.35,-82.08 540.79,-72.73"/>
<polygon fill="black" stroke="black" points="543.2,-75.29 548.73,-66.26 538.77,-69.87 543.2,-75.29"/>
</g>
<!-- 26 -->
<g id="node27" class="node">
<title>26</title>
<text text-anchor="middle" x="617" y="-54.8" font-family="Times,serif" font-size="14.00">&lt;digit&gt;</text>
</g>
<!-- 19&#45;&gt;26 -->
<g id="edge26" class="edge">
<title>19&#45;&gt;26</title>
<path fill="none" stroke="black" d="M513.18,-101.89C533.34,-93.66 567.99,-79.51 591.67,-69.84"/>
<polygon fill="black" stroke="black" points="593.14,-73.02 601.07,-66 590.49,-66.54 593.14,-73.02"/>
</g>
<!-- 21 -->
<g id="node22" class="node">
<title>21</title>
<text text-anchor="middle" x="437" y="-3.8" font-family="Times,serif" font-size="14.00">6</text>
</g>
<!-- 20&#45;&gt;21 -->
<g id="edge21" class="edge">
<title>20&#45;&gt;21</title>
<path fill="none" stroke="black" d="M437,-50.69C437,-44.18 437,-34.1 437,-25.43"/>
<polygon fill="black" stroke="black" points="440.5,-25.26 437,-15.26 433.5,-25.26 440.5,-25.26"/>
</g>
<!-- 23 -->
<g id="node24" class="node">
<title>23</title>
<text text-anchor="middle" x="497" y="-3.8" font-family="Times,serif" font-size="14.00">5</text>
</g>
<!-- 22&#45;&gt;23 -->
<g id="edge23" class="edge">
<title>22&#45;&gt;23</title>
<path fill="none" stroke="black" d="M497,-50.69C497,-44.18 497,-34.1 497,-25.43"/>
<polygon fill="black" stroke="black" points="500.5,-25.26 497,-15.26 493.5,-25.26 500.5,-25.26"/>
</g>
<!-- 25 -->
<g id="node26" class="node">
<title>25</title>
<text text-anchor="middle" x="557" y="-3.8" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 24&#45;&gt;25 -->
<g id="edge25" class="edge">
<title>24&#45;&gt;25</title>
<path fill="none" stroke="black" d="M557,-50.69C557,-44.18 557,-34.1 557,-25.43"/>
<polygon fill="black" stroke="black" points="560.5,-25.26 557,-15.26 553.5,-25.26 560.5,-25.26"/>
</g>
<!-- 27 -->
<g id="node28" class="node">
<title>27</title>
<text text-anchor="middle" x="617" y="-3.8" font-family="Times,serif" font-size="14.00">3</text>
</g>
<!-- 26&#45;&gt;27 -->
<g id="edge27" class="edge">
<title>26&#45;&gt;27</title>
<path fill="none" stroke="black" d="M617,-50.69C617,-44.18 617,-34.1 617,-25.43"/>
<polygon fill="black" stroke="black" points="620.5,-25.26 617,-15.26 613.5,-25.26 620.5,-25.26"/>
</g>
</g>
</svg>