-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathAutomata.drawio
124 lines (124 loc) · 10.6 KB
/
Automata.drawio
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
<mxfile host="app.diagrams.net" modified="2024-03-30T08:33:49.285Z" agent="Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/123.0.0.0 Safari/537.36" etag="uxdLBrGreebbBQUsVyOy" version="24.2.1" type="github">
<diagram name="Page-1" id="jYtFQfhKAu0jPOh-EE3l">
<mxGraphModel dx="1444" dy="895" grid="0" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="0" pageScale="1" pageWidth="850" pageHeight="1100" background="#ffffff" math="0" shadow="1">
<root>
<mxCell id="0" />
<mxCell id="1" parent="0" />
<mxCell id="saPew40BkC69EXZ7Qm-d-6" value="" style="endArrow=classic;html=1;rounded=0;entryX=-0.003;entryY=0.447;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1">
<mxGeometry width="50" height="50" relative="1" as="geometry">
<mxPoint x="30" y="80" as="sourcePoint" />
<mxPoint x="99.66999999999985" y="79.16999999999996" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-8" value="" style="endArrow=classic;html=1;rounded=0;fontSize=31;" parent="1" edge="1">
<mxGeometry width="50" height="50" relative="1" as="geometry">
<mxPoint x="220" y="80" as="sourcePoint" />
<mxPoint x="520" y="80" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-9" value="S3" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=31;fillColor=#d5e8d4;strokeColor=#82b366;" parent="1" vertex="1">
<mxGeometry x="525" y="260" width="110" height="110" as="geometry" />
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-10" value="S4" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=31;fillColor=#d5e8d4;strokeColor=#82b366;" parent="1" vertex="1">
<mxGeometry x="525" y="490" width="110" height="110" as="geometry" />
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-11" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=31;" parent="1" source="saPew40BkC69EXZ7Qm-d-9" target="saPew40BkC69EXZ7Qm-d-10" edge="1">
<mxGeometry width="50" height="50" relative="1" as="geometry">
<mxPoint x="510" y="480" as="sourcePoint" />
<mxPoint x="210" y="570" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-12" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=31;" parent="1" target="saPew40BkC69EXZ7Qm-d-9" edge="1">
<mxGeometry width="50" height="50" relative="1" as="geometry">
<mxPoint x="580" y="150" as="sourcePoint" />
<mxPoint x="580" y="410" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-13" value="S8" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=31;fillColor=#fff2cc;strokeColor=#d6b656;" parent="1" vertex="1">
<mxGeometry x="100" y="260" width="110" height="110" as="geometry" />
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-19" value="" style="endArrow=classic;html=1;rounded=0;fontSize=31;" parent="1" edge="1">
<mxGeometry width="50" height="50" relative="1" as="geometry">
<mxPoint x="214" y="310" as="sourcePoint" />
<mxPoint x="532.6273247968988" y="112.9433291520595" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-21" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.5;entryY=1;entryDx=0;entryDy=0;fontSize=31;" parent="1" target="saPew40BkC69EXZ7Qm-d-13" edge="1">
<mxGeometry width="50" height="50" relative="1" as="geometry">
<mxPoint x="155" y="480" as="sourcePoint" />
<mxPoint x="150" y="390" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-29" value="<span style="font-size: 35px;">c1</span>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
<mxGeometry x="320" y="30" width="100" height="40" as="geometry" />
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-31" value="<font style="font-size: 35px;">c2</font>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
<mxGeometry x="590" y="190" width="100" height="40" as="geometry" />
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-32" value="<font style="font-size: 35px;">c3</font>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
<mxGeometry x="590" y="426" width="100" height="40" as="geometry" />
</mxCell>
<mxCell id="saPew40BkC69EXZ7Qm-d-34" value="<font style="font-size: 35px;">c7</font>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
<mxGeometry x="52" y="416" width="100" height="40" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-1" value="S2" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=31;fillColor=#d5e8d4;strokeColor=#82b366;" vertex="1" parent="1">
<mxGeometry x="525" y="32" width="110" height="110" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-2" value="S1" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=31;fillColor=#d5e8d4;strokeColor=#82b366;" vertex="1" parent="1">
<mxGeometry x="100" y="27" width="110" height="110" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-3" value="S7" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=31;fillColor=#d5e8d4;strokeColor=#82b366;" vertex="1" parent="1">
<mxGeometry x="100" y="479" width="110" height="110" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-4" value="S5" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=31;fillColor=#d5e8d4;strokeColor=#82b366;" vertex="1" parent="1">
<mxGeometry x="525" y="718" width="110" height="110" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-5" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.039;exitY=0.642;exitDx=0;exitDy=0;entryX=0.97;entryY=0.679;entryDx=0;entryDy=0;entryPerimeter=0;exitPerimeter=0;fontSize=31;" edge="1" parent="1" source="-nfYya8_O-6qIzE5lIvR-4">
<mxGeometry width="50" height="50" relative="1" as="geometry">
<mxPoint x="590" y="608" as="sourcePoint" />
<mxPoint x="206.70000000000005" y="792.69" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-6" value="<font style="font-size: 35px;">c5</font>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
<mxGeometry x="320" y="813" width="100" height="40" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-7" value="S6" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=31;fillColor=#d5e8d4;strokeColor=#82b366;" vertex="1" parent="1">
<mxGeometry x="100" y="707" width="110" height="110" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-9" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontSize=31;" edge="1" parent="1">
<mxGeometry width="50" height="50" relative="1" as="geometry">
<mxPoint x="579.17" y="598" as="sourcePoint" />
<mxPoint x="579.17" y="718" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-10" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0.5;entryY=1;entryDx=0;entryDy=0;fontSize=31;" edge="1" parent="1" source="-nfYya8_O-6qIzE5lIvR-7" target="-nfYya8_O-6qIzE5lIvR-3">
<mxGeometry width="50" height="50" relative="1" as="geometry">
<mxPoint x="369.16999999999996" y="589" as="sourcePoint" />
<mxPoint x="369.16999999999996" y="709" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-12" value="<font style="font-size: 35px;">c4</font>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
<mxGeometry x="590" y="639" width="100" height="40" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-13" value="<font style="font-size: 35px;">c6</font>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
<mxGeometry x="52" y="628" width="100" height="40" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-14" value="<font style="font-size: 35px;">c8</font>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
<mxGeometry x="254" y="268" width="100" height="40" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-16" value="S8" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;fontSize=31;fillColor=#d5e8d4;strokeColor=#82b366;" vertex="1" parent="1">
<mxGeometry x="114" y="274" width="82" height="82" as="geometry" />
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-18" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0.5;entryY=1;entryDx=0;entryDy=0;fontSize=31;" edge="1" parent="1" source="saPew40BkC69EXZ7Qm-d-13">
<mxGeometry width="50" height="50" relative="1" as="geometry">
<mxPoint x="154.09" y="255" as="sourcePoint" />
<mxPoint x="154.09" y="137" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="-nfYya8_O-6qIzE5lIvR-20" value="<font style="font-size: 35px;">c9</font>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
<mxGeometry x="52" y="182" width="100" height="40" as="geometry" />
</mxCell>
</root>
</mxGraphModel>
</diagram>
</mxfile>