[code]
\begin{tikzpicture}[%
>=triangle 60, % Aussehen der Pfeile
start chain=going below, % Richtung von oben nach unten
node distance=6mm and 60mm, % Abstände der Boxen
every join/.style={norm},
]
\tikzset{% Boxen und Koordinaten
base/.style={draw, on chain, on grid, align=center, minimum height=4ex},
zbox/.style={base, rectangle, text width=8em},
ebox/.style={base, diamond, aspect=1.5, text width=4em},
term/.style={zbox, rounded corners},
norm/.style={->, draw},
coord/.style={coordinate, on chain, on grid, node distance=6mm and 25mm}}
% Zustand 0, Box und Zustandsname
\node [zbox, join] (z0) {\verb" d <- 89 + 9 "};
\node [ebox, yshift=-4em] (z1) { \verb" 85 < 88 "};
\node [zbox, join] (z2) {\verb" c <- 112 && 88 "};
\node [zbox, join] (z3) {\verb" b <- b + d "};
\node [zbox, join] (z4) {\verb" b <- b || 86 "};
\node [zbox, join] (z5) {\verb" a <- a "};
\end{tikzpicture}
[/code]
[code]
\begin{tikzpicture}[%
>=triangle 60, % Aussehen der Pfeile
start chain=going below, % Richtung von oben nach unten
node distance=6mm and 60mm, % Abstände der Boxen
every join/.style={norm},
]
\tikzset{% Boxen und Koordinaten
base/.style={draw, on chain, on grid, align=center, minimum height=4ex},
zbox/.style={base, rectangle, text width=8em},
ebox/.style={base, diamond, aspect=1.5, text width=4em},
term/.style={zbox, rounded corners},
norm/.style={->, draw},
coord/.style={coordinate, on chain, on grid, node distance=6mm and 25mm}}
% Zustand 0, Box und Zustandsname
\node [zbox] (z0) {Zuweisungen in $Z_0$};
\node [above=0mm of z0, text width=8em] {$Z_0$};
% Zustand 1, Box und Zustandsname
\node [zbox, join] (z1) {Zuweisungen in $Z_0$};
\node [above=0mm of z1, text width=8em] {$Z_1$};
% Entscheidungsbox
\node [ebox, join] (e1) {Ent-\\scheidungs- box};
% Zustand 2, Box und Zustandsname
\node [term, below=of e1.west, yshift=-4em] (z2) {bedingte Ausgangsbox};
\node [above=0mm of z2, text width=8em]{};
% JA - Pfad aus der E-Box zu Z2
\path (e1.west) to node [near start, xshift=-1em] {$1$} (z2);
\draw [->] (e1.west) -- (z2);
% Zustand 3, Box und Zustandsname
\node [zbox, right =of z0] (z3) {Zuweisungen in $Z_3$};
\node [above=0mm of z3, text width=8em] {$Z_3$};
% NEIN- Pfad aus der E-Box zu Z3
\path (e1.east) to node [very near start] {$0$} (z3);
\node[coord, right = of e1, xshift=1em] (coord1) {};
%\fill (coord1) circle (2pt);
\node[coord, above = of z3, yshift=2em] (coord2) {};
%\fill (coord2) circle (2pt) {};
\draw[->] (e1.east) -- (coord1) |- (coord2) -- (z3.north);
\end{tikzpicture}
[/code]
[code]
\begin{tikzpicture}[%
>=triangle 60, % Aussehen der Pfeile
start chain=going below, % Richtung von oben nach unten
node distance=6mm and 60mm, % Abstände der Boxen
every join/.style={norm},
]
\tikzset{% Boxen und Koordinaten
base/.style={draw, on chain, on grid, align=center, minimum height=4ex},
zbox/.style={base, rectangle, text width=8em},
ebox/.style={base, diamond, aspect=1.5, text width=10em},
term/.style={zbox, rounded corners},
norm/.style={->, draw},
coord/.style={coordinate, on chain, on grid, node distance=6mm and 25mm}}
% Zustand 0, Box und Zustandsname
\node [zbox] (z1) {\verb" a <- 118 "};
\node [zbox] (z2) {\verb" a <- a "};
\node [ebox] (z3) {\verb" a != 90 "};
\node [zbox, below=of z3.west, yshift=-4em] (z4) {\verb" b <- c >> c "};
\node [zbox, below=of z3.east, yshift=-4em] (z5) {\verb" b <- 15 && 40 "};
\node [zbox] (z6) {\verb" a <- b "};
\node [zbox] (z7) {\verb" b <- 34 "};
\node [zbox] (z8) {\verb" a <- a << 60 "};
\node [ebox] (z9) {\verb" b != d "};
\node [zbox, below=of z9.west, yshift=-4em] (z10) {\verb" d <- 3 && b "};
\node [ebox] (z11) {\verb" 66 >= a "};
\node [ebox, below=of z11.west, yshift=-4em] (z12) {\verb" d != c "};
\node [zbox, below=of z12.east, yshift=-4em] (z13) {\verb" c <- 8 "};
\node [zbox] (z14) {\verb" b <- b || 46 "};
\node [zbox] (z15) {\verb" a <- a "};
\node [ebox] (z16) {\verb" 84 != a "};
\node [zbox, below=of z16.east, yshift=-4em] (z17) {\verb" d <- 18 "};
\node [zbox, below=of z9.east, yshift=-4em] (z11) {\verb" b <- 82 "};
\end{tikzpicture}
[/code]
[code]
\begin{tikzpicture}[%
>=triangle 60, % Aussehen der Pfeile
start chain=going below, % Richtung von oben nach unten
node distance=6mm and 60mm, % Abstände der Boxen
every join/.style={norm},
]
\tikzset{% Boxen und Koordinaten
base/.style={draw, on chain, on grid, align=center, minimum height=4ex},
zbox/.style={base, rectangle, text width=8em},
ebox/.style={base, diamond, aspect=1.5, text width=10em},
term/.style={zbox, rounded corners},
norm/.style={->, draw},
coord/.style={coordinate, on chain, on grid, node distance=6mm and 25mm}}
% Zustand 0, Box und Zustandsname
\node [zbox] (z1) {\verb" a <- 0 >> a "};
\node [zbox] (z2) {\verb" c <- a + 120 "};
\node [zbox] (z3) {\verb" b <- 110 "};
\node [ebox] (z4) {\verb" 17 >= 28 "};
\node [zbox, below=of z4.west, yshift=-4em] (z5) {\verb" c <- a "};
\node [zbox] (z6) {\verb" d <- 117 "};
\node [zbox, below=of z4.east, yshift=-4em] (z7) {\verb" a <- d - 126 "};
\node [zbox] (z8) {\verb" d <- c "};
\node [zbox] (z9) {\verb" d <- b - 113 "};
\node [zbox] (z10) {\verb" a <- b "};
\node [ebox] (z11) {\verb" 92 <= 124 "};
\node [zbox, below=of z11.west, yshift=-4em] (z12) {\verb" a <- 1 "};
\node [zbox] (z13) {\verb" d <- 104 "};
\node [zbox, below=of z11.east, yshift=-4em] (z14) {\verb" d <- 74 >> 59 "};
\node [zbox] (z15) {\verb" a <- d "};
\node [zbox] (z16) {\verb" d <- c + b "};
\end{tikzpicture}
[/code]
[code]
\begin{tikzpicture}[%
>=triangle 60, % Aussehen der Pfeile
start chain=going below, % Richtung von oben nach unten
node distance=6mm and 60mm, % Abstände der Boxen
every join/.style={norm},
]
\tikzset{% Boxen und Koordinaten
base/.style={draw, on chain, on grid, align=center, minimum height=4ex},
zbox/.style={base, rectangle, text width=8em},
ebox/.style={base, diamond, aspect=1.5, text width=10em},
term/.style={zbox, rounded corners},
norm/.style={->, draw},
coord/.style={coordinate, on chain, on grid, node distance=6mm and 25mm}}
% Zustand 0, Box und Zustandsname
\node [zbox] (z1) {\verb"R0 <- 10"};
\draw [->] (z0) -- (z1);
\node [zbox] (z2) {\verb"R1 <- R0 or R-1"};
\draw [->] (z1) -- (z2);
\node [zbox] (z3) {\verb"R2 <- R1 not R-1"};
\draw [->] (z2) -- (z3);
\node [zbox] (z4) {\verb"R3 <- R2 + 29"};
\draw [->] (z3) -- (z4);
\node [zbox] (z5) {\verb"R4 <- R3 or 24"};
\draw [->] (z4) -- (z5);
\node [ebox] (z6) {\verb"R5 <= 4"};
\draw [->] (z5) -- (z6);
\node [zbox, below=of z6.west, yshift=-4em] (z7) {\verb"R6 <- R5 not 7"};
\draw [->] (z6.west) -- (z7);
\node [zbox] (z8) {\verb"R7 <- R6 and R-1"};
\draw [->] (z7) -- (z8);
\node [zbox, below=of z6.east, yshift=-4em] (z8) {\verb"R8 <- R7 <| R4"};
\draw [->] (z6.east) -- (z8);
\node [zbox] (z9) {\verb"R9 <- R8 >> 20"};
\draw [->] (z8) -- (z9);
\end{tikzpicture}
[/code]
[code]
\begin{tikzpicture}[%
>=triangle 60, % Aussehen der Pfeile
start chain=going below, % Richtung von oben nach unten
node distance=6mm and 60mm, % Abstände der Boxen
every join/.style={norm},
]
\tikzset{% Boxen und Koordinaten
base/.style={draw, on chain, on grid, align=center, minimum height=4ex},
zbox/.style={base, rectangle, text width=8em},
ebox/.style={base, diamond, aspect=1.5, text width=10em},
term/.style={zbox, rounded corners},
norm/.style={->, draw},
coord/.style={coordinate, on chain, on grid, node distance=6mm and 25mm}}
% Zustand 0, Box und Zustandsname
\node [zbox] (z1) {\verb"R0 <- 22"};
\node [ebox] (z2) {\verb"R0 < 16"};
\draw [->] (z1) -- (z2);
\node [zbox, below=of z2.east, yshift=-4em] (z3) {\verb"R1 <- R0 |> R-1"};
\draw [->] (z2.east) -- (z3);
\node [ebox] (z4) {\verb"R2 <= 1"};
\draw [->] (z3) -- (z4);
\node [ebox, below=of z4.west, yshift=-4em] (z5) {\verb"R2 != 23"};
\draw [->] (z4.west) -- (z5);
\node [ebox, below=of z5.west, yshift=-4em] (z6) {\verb"R3 >= 2"};
\draw [->] (z5.west) -- (z6);
\node [ebox, below=of z6.east, yshift=-4em] (z7) {\verb"R4 < 3"};
\draw [->] (z6.east) -- (z7);
\node [zbox, below=of z7.east, yshift=-4em] (z8) {\verb"R5 <- R4 or R0"};
\draw [->] (z7.east) -- (z8);
\node [zbox] (z9) {\verb"R6 <- R5 --"};
\draw [->] (z8) -- (z9);
\node [ebox] (z10) {\verb"R6 != 18"};
\draw [->] (z9) -- (z10);
\node [ebox, below=of z10.east, yshift=-4em] (z11) {\verb"R7 > 6"};
\draw [->] (z10.east) -- (z11);
\node [zbox, below=of z11.east, yshift=-4em] (z12) {\verb"R8 <- R7 + R0"};
\draw [->] (z11.east) -- (z12);
\end{tikzpicture}
[/code]
[code]
\begin{tikzpicture}[%
>=triangle 60, % Aussehen der Pfeile
start chain=going below, % Richtung von oben nach unten
node distance=6mm and 60mm, % Abstände der Boxen
every join/.style={norm},
]
\tikzset{% Boxen und Koordinaten
base/.style={draw, on chain, on grid, align=center, minimum height=4ex},
zbox/.style={base, rectangle, text width=8em},
ebox/.style={base, diamond, aspect=1.5, text width=10em},
term/.style={zbox, rounded corners},
norm/.style={->, draw},
coord/.style={coordinate, on chain, on grid, node distance=6mm and 25mm}}
% Zustand 0, Box und Zustandsname
\node [zbox] (z1) {\verb"R0 <- 23"};
\node [above=0mm of z1, text width=8em] {$Z_1$};
\node [zbox] (z2) {\verb"R1 <- R0 - 20"};
\node [above=0mm of z2, text width=8em] {$Z_1$};
\draw [->] (z1) -- (z2);
\node [zbox] (z3) {\verb"R2 <- R1 - R0"};
\node [above=0mm of z3, text width=8em] {$Z_1$};
\draw [->] (z2) -- (z3);
\node [zbox] (z4) {\verb"R3 <- R2 ++"};
\node [above=0mm of z4, text width=8em] {$Z_1$};
\draw [->] (z3) -- (z4);
\node [zbox] (z5) {\verb"R4 <- R3 |> R0"};
\node [above=0mm of z5, text width=8em] {$Z_1$};
\draw [->] (z4) -- (z5);
\node [ebox] (z6) {\verb"R4 != 6"};
\node [above=0mm of z6, text width=8em] {$Z_1$};
\draw [->] (z5) -- (z6);
\node [zbox, below=of z6.west, yshift=-4em] (z7) {\verb"R5 <- R4 <| R0"};
\node [above=0mm of z7, text width=8em] {$Z_1$};
\draw [->] (z6.west) -- (z7);
\node [zbox] (z8) {\verb"R6 <- R5 --"};
\node [above=0mm of z8, text width=8em] {$Z_1$};
\draw [->] (z7) -- (z8);
\node [zbox, below=of z6.east, yshift=-4em] (z8) {\verb"R7 <- R6 not 28"};
\node [above=0mm of z8, text width=8em] {$Z_1$};
\draw [->] (z6.east) -- (z8);
\end{tikzpicture}
[/code]
[code]
\begin{tikzpicture}[%
>=triangle 60, % Aussehen der Pfeile
start chain=going below, % Richtung von oben nach unten
node distance=6mm and 60mm, % Abstände der Boxen
every join/.style={norm},
]
\tikzset{% Boxen und Koordinaten
base/.style={draw, on chain, on grid, align=center, minimum height=4ex},
zbox/.style={base, rectangle, text width=8em},
ebox/.style={base, diamond, aspect=1.5, text width=10em},
term/.style={zbox, rounded corners},
norm/.style={->, draw},
coord/.style={coordinate, on chain, on grid, node distance=6mm and 25mm}}
% Zustand 0, Box und Zustandsname
\node [zbox] (z1) {\verb"R0 <- 20"};
\node [above=0mm of z1, text width=8em] {$Z_1$};
\node [ebox] (z2) {\verb"R0 != 19"};
\node [above=0mm of z2, text width=8em] {$Z_1$};
\draw [->] (z1) -- (z2);
\node [zbox, below=of z2.west, yshift=-4em] (z3) {\verb"R1 <- R0 - 20"};
\node [above=0mm of z3, text width=8em] {$Z_1$};
\draw [->] (z2.west) -- (z3);
\node [zbox] (z4) {\verb"R2 <- R1 << 1"};
\node [above=0mm of z4, text width=8em] {$Z_1$};
\draw [->] (z3) -- (z4);
\node [zbox] (z5) {\verb"R3 <- R2 ++"};
\node [above=0mm of z5, text width=8em] {$Z_1$};
\draw [->] (z4) -- (z5);
\node [ebox] (z6) {\verb"R3 == 18"};
\node [above=0mm of z6, text width=8em] {$Z_1$};
\draw [->] (z5) -- (z6);
\node [zbox, below=of z6.east, yshift=-4em] (z7) {\verb"R4 <- R3 >> 26"};
\node [above=0mm of z7, text width=8em] {$Z_1$};
\draw [->] (z6.east) -- (z7);
\node [zbox] (z8) {\verb"R5 <- R4 xor R3"};
\node [above=0mm of z8, text width=8em] {$Z_1$};
\draw [->] (z7) -- (z8);
\node [zbox] (z9) {\verb"R6 <- R5 - 28"};
\node [above=0mm of z9, text width=8em] {$Z_1$};
\draw [->] (z8) -- (z9);
\node [zbox] (z10) {\verb"R7 <- R6 ++"};
\node [above=0mm of z10, text width=8em] {$Z_1$};
\draw [->] (z9) -- (z10);
\end{tikzpicture}
[/code]
[code]
\begin{tikzpicture}[%
>=triangle 60, % Aussehen der Pfeile
start chain=going below, % Richtung von oben nach unten
node distance=6mm and 60mm, % Abstände der Boxen
every join/.style={norm},
]
\tikzset{% Boxen und Koordinaten
base/.style={draw, on chain, on grid, align=center, minimum height=4ex},
zbox/.style={base, rectangle, text width=8em},
ebox/.style={base, diamond, aspect=1.5, text width=10em},
term/.style={zbox, rounded corners},
norm/.style={->, draw},
coord/.style={coordinate, on chain, on grid, node distance=6mm and 25mm}}
% Zustand 0, Box und Zustandsname
\node [zbox] (z1) {\verb"R0 <- 30"};
\node [above=0mm of z1, text width=8em] {$Z_1$};
\node [zbox] (z2) {\verb"R1 <- R0 and R0"};
\node [above=0mm of z2, text width=8em] {$Z_2$};
\draw [->] (z1) -- (z2);
\node [zbox] (z3) {\verb"R2 <- R1 <| R0"};
\node [above=0mm of z3, text width=8em] {$Z_3$};
\draw [->] (z2) -- (z3);
\node [zbox] (z4) {\verb"R3 <- R2 or 31"};
\node [above=0mm of z4, text width=8em] {$Z_4$};
\draw [->] (z3) -- (z4);
\node [zbox] (z5) {\verb"R4 <- R3 and 27"};
\node [above=0mm of z5, text width=8em] {$Z_5$};
\draw [->] (z4) -- (z5);
\node [zbox] (z6) {\verb"R5 <- R4 << R1"};
\node [above=0mm of z6, text width=8em] {$Z_6$};
\draw [->] (z5) -- (z6);
\node [zbox] (z7) {\verb"R6 <- R5 --"};
\node [above=0mm of z7, text width=8em] {$Z_7$};
\draw [->] (z6) -- (z7);
\node [zbox] (z8) {\verb"R7 <- R6 + R0"};
\node [above=0mm of z8, text width=8em] {$Z_8$};
\draw [->] (z7) -- (z8);
\node [zbox] (z9) {\verb"R8 <- R7 - 1"};
\node [above=0mm of z9, text width=8em] {$Z_9$};
\draw [->] (z8) -- (z9);
\node [ebox] (z10) {\verb"R8 < 20"};
\node [above=0mm of z10, text width=8em] {$Z_10$};
\draw [->] (z9) -- (z10);
\node [zbox, below=of z10.east, yshift=-4em] (z11) {\verb"R9 <- R8 <| 30"};
\node [above=0mm of z11, text width=8em] {$Z_11$};
\draw [->] (z10.east) -- (z11);
\node [zbox] (z12) {\verb"R10 <- R9 and 16"};
\node [above=0mm of z12, text width=8em] {$Z_12$};
\draw [->] (z11) -- (z12);
\end{tikzpicture}
[/code]
[code]
\begin{tikzpicture}[%
>=triangle 60, % Aussehen der Pfeile
start chain=going below, % Richtung von oben nach unten
node distance=6mm and 60mm, % Abstände der Boxen
every join/.style={norm},
]
\tikzset{% Boxen und Koordinaten
base/.style={draw, on chain, on grid, align=center, minimum height=4ex},
zbox/.style={base, rectangle, text width=8em},
ebox/.style={base, diamond, aspect=1.5, text width=10em},
term/.style={zbox, rounded corners},
norm/.style={->, draw},
coord/.style={coordinate, on chain, on grid, node distance=6mm and 25mm}}
% Zustand 0, Box und Zustandsname
\node [zbox] (z1) {\verb"R0 <- 8"};
\node [above=0mm of z1, text width=8em] {$Z_{1}$};
\node [ebox] (z2) {\verb"R0 < 15"};
\node [above=0mm of z2, text width=8em] {$Z_{2}$};
\draw [->] (z1) -- (z2);
\node [zbox, below=of z2.west, yshift=-4em] (z3) {\verb"R1 <- R0 or 19"};
\node [above=0mm of z3, text width=8em] {$Z_{3}$};
\draw [->] (z2.west) -- (z3);
\node [zbox] (z4) {\verb"R2 <- R1 >> 13"};
\node [above=0mm of z4, text width=8em] {$Z_{4}$};
\draw [->] (z3) -- (z4);
\node [zbox] (z5) {\verb"R3 <- R2 ++"};
\node [above=0mm of z5, text width=8em] {$Z_{5}$};
\draw [->] (z4) -- (z5);
\node [zbox] (z6) {\verb"R4 <- R3 --"};
\node [above=0mm of z6, text width=8em] {$Z_{6}$};
\draw [->] (z5) -- (z6);
\node [zbox] (z7) {\verb"R5 <- R4 ++"};
\node [above=0mm of z7, text width=8em] {$Z_{7}$};
\draw [->] (z6) -- (z7);
\node [zbox] (z8) {\verb"R6 <- R5 << R4"};
\node [above=0mm of z8, text width=8em] {$Z_{8}$};
\draw [->] (z7) -- (z8);
\node [zbox] (z9) {\verb"R7 <- R6 not 19"};
\node [above=0mm of z9, text width=8em] {$Z_{9}$};
\draw [->] (z8) -- (z9);
\node [ebox] (z10) {\verb"R7 < 13"};
\node [above=0mm of z10, text width=8em] {$Z_{10}$};
\draw [->] (z9) -- (z10);
\node [zbox, below=of z10.east, yshift=-4em] (z11) {\verb"R8 <- R7 ++"};
\node [above=0mm of z11, text width=8em] {$Z_{11}$};
\draw [->] (z10.east) -- (z11);
\node [zbox] (z12) {\verb"R9 <- R8 <| R4"};
\node [above=0mm of z12, text width=8em] {$Z_{12}$};
\draw [->] (z11) -- (z12);
\end{tikzpicture}
[/code]