145 lines
8.0 KiB
XML
145 lines
8.0 KiB
XML
<?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 16.0.0 (0)
|
|
-->
|
|
<!-- Title: grammar Pages: 1 -->
|
|
<svg width="436pt" height="140pt"
|
|
viewBox="0.00 0.00 436.00 140.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 136.07)">
|
|
<title>grammar</title>
|
|
<polygon fill="white" stroke="none" points="-4,4 -4,-136.07 431.75,-136.07 431.75,4 -4,4"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="213.88" y="-114.77" font-family="Times,serif" font-size="14.00">anbn (induced)</text>
|
|
<!-- nt_S -->
|
|
<g id="node1" class="node">
|
|
<title>nt_S</title>
|
|
<ellipse fill="none" stroke="black" stroke-width="2" cx="22" cy="-47.57" rx="18" ry="18"/>
|
|
<ellipse fill="none" stroke="black" stroke-width="2" cx="22" cy="-47.57" rx="22" ry="22"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="22" y="-44.07" font-family="Helvetica,sans-Serif" font-size="10.00">S</text>
|
|
</g>
|
|
<!-- pr_1 -->
|
|
<g id="node7" class="node">
|
|
<title>pr_1</title>
|
|
<polygon fill="none" stroke="black" points="146.25,-96.57 85.25,-96.57 85.25,-60.57 146.25,-60.57 146.25,-96.57"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="115.75" y="-81.07" font-family="Helvetica,sans-Serif" font-size="10.00">T_a S T_b</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="115.75" y="-69.07" font-family="Helvetica,sans-Serif" font-size="10.00">p=0.786</text>
|
|
</g>
|
|
<!-- nt_S->pr_1 -->
|
|
<g id="edge3" class="edge">
|
|
<title>nt_S->pr_1</title>
|
|
<path fill="none" stroke="black" d="M43.32,-53.82C50.85,-56.18 59.46,-58.94 67.25,-61.57 69.49,-62.32 71.78,-63.1 74.09,-63.9"/>
|
|
<polygon fill="black" stroke="black" points="72.89,-67.19 83.48,-67.19 75.2,-60.58 72.89,-67.19"/>
|
|
</g>
|
|
<!-- pr_2 -->
|
|
<g id="node8" class="node">
|
|
<title>pr_2</title>
|
|
<polygon fill="none" stroke="black" points="142.75,-40.57 88.75,-40.57 88.75,-4.57 142.75,-4.57 142.75,-40.57"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="115.75" y="-25.07" font-family="Helvetica,sans-Serif" font-size="10.00">T_a T_b</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="115.75" y="-13.07" font-family="Helvetica,sans-Serif" font-size="10.00">p=0.214</text>
|
|
</g>
|
|
<!-- nt_S->pr_2 -->
|
|
<g id="edge7" class="edge">
|
|
<title>nt_S->pr_2</title>
|
|
<path fill="none" stroke="black" d="M43.63,-41.68C49.55,-40.01 56.03,-38.2 62,-36.57 66.97,-35.21 72.2,-33.79 77.37,-32.41"/>
|
|
<polygon fill="black" stroke="black" points="78.21,-35.81 86.97,-29.85 76.41,-29.04 78.21,-35.81"/>
|
|
</g>
|
|
<!-- nt_T_a -->
|
|
<g id="node2" class="node">
|
|
<title>nt_T_a</title>
|
|
<ellipse fill="none" stroke="black" cx="214.5" cy="-89.57" rx="27" ry="18"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="214.5" y="-86.07" font-family="Helvetica,sans-Serif" font-size="10.00">T_a</text>
|
|
</g>
|
|
<!-- pr_3 -->
|
|
<g id="node9" class="node">
|
|
<title>pr_3</title>
|
|
<polygon fill="none" stroke="black" points="332.5,-107.57 278.5,-107.57 278.5,-71.57 332.5,-71.57 332.5,-107.57"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="305.5" y="-92.07" font-family="Helvetica,sans-Serif" font-size="10.00">a</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="305.5" y="-80.07" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
|
|
</g>
|
|
<!-- nt_T_a->pr_3 -->
|
|
<g id="edge10" class="edge">
|
|
<title>nt_T_a->pr_3</title>
|
|
<path fill="none" stroke="black" d="M241.72,-89.57C249.62,-89.57 258.44,-89.57 266.93,-89.57"/>
|
|
<polygon fill="black" stroke="black" points="266.64,-93.07 276.64,-89.57 266.64,-86.07 266.64,-93.07"/>
|
|
</g>
|
|
<!-- nt_T_b -->
|
|
<g id="node3" class="node">
|
|
<title>nt_T_b</title>
|
|
<ellipse fill="none" stroke="black" cx="214.5" cy="-23.57" rx="27" ry="18"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="214.5" y="-20.07" font-family="Helvetica,sans-Serif" font-size="10.00">T_b</text>
|
|
</g>
|
|
<!-- pr_0 -->
|
|
<g id="node6" class="node">
|
|
<title>pr_0</title>
|
|
<polygon fill="none" stroke="black" points="332.5,-41.57 278.5,-41.57 278.5,-5.57 332.5,-5.57 332.5,-41.57"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="305.5" y="-26.07" font-family="Helvetica,sans-Serif" font-size="10.00">b</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="305.5" y="-14.07" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
|
|
</g>
|
|
<!-- nt_T_b->pr_0 -->
|
|
<g id="edge1" class="edge">
|
|
<title>nt_T_b->pr_0</title>
|
|
<path fill="none" stroke="black" d="M241.72,-23.57C249.62,-23.57 258.44,-23.57 266.93,-23.57"/>
|
|
<polygon fill="black" stroke="black" points="266.64,-27.07 276.64,-23.57 266.64,-20.07 266.64,-27.07"/>
|
|
</g>
|
|
<!-- tm_a -->
|
|
<g id="node4" class="node">
|
|
<title>tm_a</title>
|
|
<text xml:space="preserve" text-anchor="middle" x="400.75" y="-86.07" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">a</text>
|
|
</g>
|
|
<!-- tm_b -->
|
|
<g id="node5" class="node">
|
|
<title>tm_b</title>
|
|
<text xml:space="preserve" text-anchor="middle" x="400.75" y="-20.07" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">b</text>
|
|
</g>
|
|
<!-- pr_0->tm_b -->
|
|
<g id="edge2" class="edge">
|
|
<title>pr_0->tm_b</title>
|
|
<path fill="none" stroke="black" d="M332.97,-23.57C342.18,-23.57 352.69,-23.57 362.61,-23.57"/>
|
|
<polygon fill="black" stroke="black" points="362.34,-27.07 372.34,-23.57 362.34,-20.07 362.34,-27.07"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="353.12" y="-25.52" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_1->nt_S -->
|
|
<g id="edge5" class="edge">
|
|
<title>pr_1->nt_S</title>
|
|
<path fill="none" stroke="black" d="M85.04,-68.53C75.14,-65.18 64.09,-61.45 54.09,-58.07"/>
|
|
<polygon fill="black" stroke="black" points="55.39,-54.81 44.8,-54.93 53.15,-61.45 55.39,-54.81"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-64.09" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
|
|
</g>
|
|
<!-- pr_1->nt_T_a -->
|
|
<g id="edge4" class="edge">
|
|
<title>pr_1->nt_T_a</title>
|
|
<path fill="none" stroke="black" d="M146.57,-81.96C155.99,-83.03 166.51,-84.22 176.37,-85.34"/>
|
|
<polygon fill="black" stroke="black" points="175.71,-88.79 186.04,-86.44 176.5,-81.84 175.71,-88.79"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="166.88" y="-86.35" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_1->nt_T_b -->
|
|
<g id="edge6" class="edge">
|
|
<title>pr_1->nt_T_b</title>
|
|
<path fill="none" stroke="black" d="M146.57,-61.61C158.25,-54.97 171.63,-47.37 183.34,-40.71"/>
|
|
<polygon fill="black" stroke="black" points="184.84,-43.88 191.81,-35.9 181.38,-37.8 184.84,-43.88"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="166.88" y="-53.02" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
|
|
</g>
|
|
<!-- pr_2->nt_T_a -->
|
|
<g id="edge8" class="edge">
|
|
<title>pr_2->nt_T_a</title>
|
|
<path fill="none" stroke="black" d="M143.04,-25.3C151.94,-27.1 161.62,-30.1 169.5,-35.07 180.65,-42.09 190.24,-52.93 197.6,-63.1"/>
|
|
<polygon fill="black" stroke="black" points="194.61,-64.92 203.1,-71.25 200.41,-61 194.61,-64.92"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="166.88" y="-37.02" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_2->nt_T_b -->
|
|
<g id="edge9" class="edge">
|
|
<title>pr_2->nt_T_b</title>
|
|
<path fill="none" stroke="black" d="M143.07,-4.78C151.35,-1.11 160.65,1.07 169.5,-1.07 174.42,-2.25 179.41,-4.08 184.17,-6.2"/>
|
|
<polygon fill="black" stroke="black" points="182.26,-9.16 192.77,-10.48 185.38,-2.89 182.26,-9.16"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="166.88" y="-3.02" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
|
|
</g>
|
|
<!-- pr_3->tm_a -->
|
|
<g id="edge11" class="edge">
|
|
<title>pr_3->tm_a</title>
|
|
<path fill="none" stroke="black" d="M332.97,-89.57C342.18,-89.57 352.69,-89.57 362.61,-89.57"/>
|
|
<polygon fill="black" stroke="black" points="362.34,-93.07 372.34,-89.57 362.34,-86.07 362.34,-93.07"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="353.12" y="-91.52" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
</g>
|
|
</svg>
|
