Commit d183f5a5 authored by Niklas Rieken's avatar Niklas Rieken

cfgs up to derivative trees

parent 12bd0ea7
\begin{tikzpicture}[>=latex']
\node[circle] (S) at (-3, 1) {$S$};
\node (C) at (-3, -1) {$C$};
\node (A) at (4, 5) {$A$};
\node (B) at (4, 3) {$B$};
\node (Ta) at (2, -2) {$T_a$};
\node (Tb) at (2, 2) {$T_b$};
\node (a) at (4, -2) {$a$};
\node (b) at (4, 2) {$b$};
\node (ABTb) at (2, 5) {$ABT_b$};
\node (ATb) at (2, 4) {$AT_b$};
\node (BTb) at (2, 3) {$BT_b$};
\node (BATa) at (2, 1) {$BAT_a$};
\node (ATa) at (2, 0) {$AT_a$};
\node (BTa) at (2, -1) {$BT_a$};
\node (ABC) at (2, -3) {$ABC$};
\node (AC) at (2, -4) {$AC$};
\node (BC) at (2, -5) {$BC$};
\node (TaTa) at (6, 3) {$T_aT_a$};
\node (TbTb) at (6, 5) {$T_bT_b$};
\draw[->] (S) -- (ABTb);
\draw[->] (S) -- (ATb);
\draw[->] (S) -- (BTb);
\draw[->] (S) -- (Tb);
\draw[->] (S) -- (BATa);
\draw[->] (S) -- (ATa);
\draw[->] (S) -- (BTa);
\draw[->] (S) -- (Ta);
\draw[->] (S) -- (ABC);
\draw[->] (S) -- (AC);
\draw[->] (S) -- (BC);
\draw[->] (S) to[bend left] (C);
\draw[->] (C) to[bend left] (S);
\draw[->] (A) to[bend left] (B);
\draw[->] (B) to[bend left] (A);
\draw[->] (A) -- (TbTb);
\draw[->] (B) -- (TaTa);
\draw[->] (Ta) -- (a);
\draw[->] (Tb) -- (b);
\end{tikzpicture}
\begin{tikzpicture}
\node (S) at (0, 0) {$S$};
\node (A) at (-1.1, -1.5) {$A$};
\node (B) at (1.1, -1.5) {$B$};
\draw[-] (S) -- (A);
\draw[-] (S) -- (B);
\draw[-] (A) -- +(-1, -2) -- node[below]{$\alpha$} +(1, -2) -- (A);
\draw[-] (B) -- +(-1, -2) -- node[below]{$\beta$} +(1, -2) -- (B);
\end{tikzpicture}
\begin{tikzpicture}
\node[circle] (S0) at (0, 0) {$S$\scriptsize{($\varepsilon$)}};
\node (A1) at (-3, -1) {$A$\scriptsize{($1$)}};
\node (B2) at (0, -1) {$B$\scriptsize{($2$)}};
\node (a3) at (3, -1) {$a$\scriptsize{($3$)}};
\node (A11) at (-4, -2) {$A$\scriptsize{($11$)}};
\node (A12) at (-3, -2) {$A$\scriptsize{($12$)}};
\node (B21) at (-2, -2) {$B$\scriptsize{($21$)}};
\node (B22) at (0, -2) {$B$\scriptsize{($22$)}};
\node (A23) at (2, -2) {$A$\scriptsize{($23$)}};
\node (a111) at (-4, -3) {$a$\scriptsize{($111$)}};
\node (a121) at (-3, -3) {$a$\scriptsize{($121$)}};
\node (b211) at (-2, -3) {$b$\scriptsize{($211$)}};
\node (B221) at (-.8, -3) {$B$\scriptsize{($221$)}};
\node (B222) at (.8, -3) {$B$\scriptsize{($222$)}};
\node (a231) at (2, -3) {$a$\scriptsize{($231$)}};
\node (b2211) at (-.8, -4) {$b$\scriptsize{($2211$)}};
\node (b2221) at (.8, -4) {$b$\scriptsize{($2221$)}};
\draw[-] (S) -- (A1);
\draw[-] (S) -- (B2);
\draw[-] (S) -- (a3);
\draw[-] (A1) -- (A11);
\draw[-] (A1) -- (A12);
\draw[-] (B2) -- (B21);
\draw[-] (B2) -- (B22);
\draw[-] (B2) -- (A23);
\draw[-] (A11) -- (a111);
\draw[-] (A12) -- (a121);
\draw[-] (B21) -- (b211);
\draw[-] (B22) -- (B221);
\draw[-] (B22) -- (B222);
\draw[-] (A23) -- (a231);
\draw[-] (B221) -- (b2211);
\draw[-] (B222) -- (b2221);
\end{tikzpicture}
No preview for this file type
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment