/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/ASM-DIAGRAM-GENERATOR-2024-01-28/allall.txt


[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]