efrei/maths-pour-info-tp-automate
2
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Update graph for automate10

Browse source
This commit is contained in:
flyingscorpio@arch-desktop 2022-01-15 21:39:02 +01:00
parent a1f1a1269d
commit 39e1cbc768
2 changed files with 18 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
graphs/automate10.pdf
View file

Binary file not shown.

36
graphs/automate10.tex
View file

@ -11,39 +11,39 @@
%\draw[help lines,step=3cm](-4,4) grid(4,-4);
\node(0)[state, initial, initial text={}] at (-6, -4) {0};
\node(1)[state] at (-3, 2) {1};
\node(2)[state, accepting by arrow] at (-7, 0) {2};
\node(3)[state, accepting by arrow] at (0, -5) {3};
\node(4)[state] at (4, 1) {4};
\node(5)[state] at (4, -1) {5};
\node(6)[state, accepting by arrow] at (2, 1) {6};
\node(7)[state] at (2, -2) {7};
\node(0)[state, initial, initial text={}] at (0.25, 0.25) {0};
\node(1)[state] at (1, 1) {1};
\node(2)[state, accepting by arrow] at (2.25, 0.25) {2};
\node(3)[state, accepting by arrow] at (3, 2) {3};
\node(4)[state] at (0, 2) {4};
\node(5)[state] at (2, 1) {5};
\node(6)[state, accepting by arrow] at (3.75, -0.25) {6};
\node(7)[state] at (3, 0.5) {7};
\path
(0) edge node {a} (4)
(0) edge node {b} (5)
(0) edge node {c} (1)
(0) edge [bend left] node {a} (4)
(0) edge [bend right] node {b} (5)
(0) edge [bend left] node {c} (1)
(1) edge node {a} (5)
(1) edge node {b} (4)
(1) edge node {c} (0)
(2) edge node {a} (0)
(2) edge [bend left] node {a} (0)
(2) edge node {b} (7)
(2) edge node {c} (3)
(3) edge node {a} (1)
(3) edge node {b} (7)
(3) edge node {c} (6)
(4) edge node {a} (0)
(4) edge node {b} (3)
(4) edge [bend left] node {b} (3)
(4) edge node {c} (5)
(5) edge node {a} (1)
(5) edge [bend left] node {a} (1)
(5) edge node {b} (2)
(5) edge node {c} (4)
(6) edge node {a} (0)
(5) edge [bend right] node {c} (4)
(6) edge [bend left] node {a} (0)
(6) edge node {b} (7)
(6) edge node {c} (3)
(7) edge [loop above] node {a,b,c} (7)
(6) edge [bend right] node {c} (3)
(7) edge [loop below] node {a,b,c} (7)
;