% TeX root = ../main.tex
\begin{tikzpicture}[tree,node distance=1.5cm]
    \node (center)[below=3.8cm of l0] {};
    \draw[fill=rwth-25,draw=none] (center) ellipse [x radius=2.5cm,y radius=2cm];
    \node[gray] at ($(center) + (-2,0)$) {SCC};
    \node[state,initial]    (l0)                            {$\langle{}l_0,\textit{true}\rangle$};
    \node[state]            (li1)   [below left = 2cm of l0]
    {$\langle{}l_{i,1},\textit{true}\rangle$};
    \node[state]            (lin)   [below right = 2cm of l0]
    {$\langle{}l'_{i,n},\textit{true}\rangle$};
    \node[state,gray]            (li1')  [below = of li1]
    {$\langle{}l'_{i,1},\textit{true}\rangle$};
    \node[state,gray]            (lin')  [below = of lin]
    {$\langle{}l'_{i,n},\textit{true}\rangle$};
    \node[state,gray]            (lo1)   [below = 2cm of li1']
    {$\langle{}l_{o,1},\textit{true}\rangle$};
    \node[state,gray]            (lom)   [below = 2cm of lin']
    {$\langle{}l_{o,m},\textit{true}\rangle$};
    \node[state]            (lo1')  [below = of lo1]
    {$\langle{}l'_{o,1},\textit{true}\rangle$};
    \node[state]            (lom')  [below = of lom]
    {$\langle{}l'_{o,m},\textit{true}\rangle$};
    \node at ($(center) + (0,2.2)$) {$\cdots$};
    \node at ($(center) - (0,2.2)$) {$\cdots$};
    \path[->,color=gray]   (li1)     edge    node      {$t_{i,1}$}  (li1')
                (lin)     edge    node      {$t_{i,n}$}  (lin')
                (lo1)     edge    node      {$t_{o,1}$}  (lo1')
                (lom)     edge    node      {$t_{o,m}$}  (lom');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (li1') -- (lin');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (lin') -- (lom);
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (lom) -- (lo1);
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (lo1) -- (li1');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (lo1) -- (lin');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (li1') -- (lom);
    \draw[color=rot-75] ($(center)+(-2,2)$) -- ($(center)+(2,-2)$);
    \draw[color=rot-75] ($(center)+(-2,-2)$) -- ($(center)+(2,2)$);
    %todo: squigilly line 
    \draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (li1);
    \draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (lin);
\end{tikzpicture}

% TeX root = ../main.tex
\begin{tikzpicture}[tree, node distance=1.5cm]
    \node (center)[below=3.8cm of l0] {};
    \draw[fill=rwth-25,draw=none] (center) ellipse [x radius=2.5cm,y radius=2cm];
    \node at ($(center) + (-2,0)$) {SCC};
    \node[state,initial]    (l0)                            {$\langle{}l_0,\textit{true}\rangle$};
    \node[state]            (li1)   [below left = 2cm of l0]
    {$\langle{}l_{i,1},\textit{true}\rangle$};
    \node[state]            (lin)   [below right = 2cm of l0]
    {$\langle{}l'_{i,n},\textit{true}\rangle$};
    \node[state]            (li1')  [below = of li1]
    {$\langle{}l'_{i,1},\textit{true}\rangle$};
    \node[state]            (lin')  [below = of lin]
    {$\langle{}l'_{i,n},\textit{true}\rangle$};
    \node[state]            (lo1)   [below = 2cm of li1']
    {$\langle{}l_{o,1},\textit{true}\rangle$};
    \node[state]            (lom)   [below = 2cm of lin']
    {$\langle{}l_{o,m},\textit{true}\rangle$};
    \node[state]            (lo1')  [below = of lo1]
    {$\langle{}l'_{o,1},\textit{true}\rangle$};
    \node[state]            (lom')  [below = of lom]
    {$\langle{}l'_{o,m},\textit{true}\rangle$};
    \node at ($(center) + (0,2.2)$) {$\cdots$};
    \node at ($(center) - (0,2.2)$) {$\cdots$};
    \path[->]   (li1)     edge    node      {$t_{i,1}$}  (li1')
                (lin)     edge    node      {$t_{i,n}$}  (lin')
                (lo1)     edge    node      {$t_{o,1}$}  (lo1')
                (lom)     edge    node      {$t_{o,m}$}  (lom');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lin');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lin') -- (lom);
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lom) -- (lo1);
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (li1');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (lin');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lom);
    %todo: squigilly line 
    \draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (li1);
    \draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (lin);
\end{tikzpicture}

% TeX root = ../main.tex
\begin{tikzpicture}[tree,node distance=1.5cm]
    \node (center)[below=3.8cm of l0] {};
    \draw[fill=rwth-25,draw=none] (center) ellipse [x radius=2.5cm,y radius=2cm];
    \node at ($(center) + (-2,0)$) {SCC};
    \node[state,initial]    (l0)                            {$\langle{}l_0,\textit{true}\rangle$};
    \node[state]            (li1)   [below left = 2cm of l0]
    {$\langle{}l_{i,1},\textit{true}\rangle$};
    \node[state]            (lin)   [below right = 2cm of l0]
    {$\langle{}l'_{i,n},\textit{true}\rangle$};
    \node[state]            (li1')  [below = of li1]
    {$\langle{}l'_{i,1},\textit{true}\rangle$};
    \node[state]            (lin')  [below = of lin]
    {$\langle{}l'_{i,n},\textit{true}\rangle$};
    \node[state]            (lo1)   [below = 2cm of li1']
    {$\langle{}l_{o,1},\textit{true}\rangle$};
    \node[state]            (lom)   [below = 2cm of lin']
    {$\langle{}l_{o,m},\textit{true}\rangle$};
    \node[state]            (lo1')  [below = of lo1]
    {$\langle{}l'_{o,1},\textit{true}\rangle$};
    \node[state]            (lom')  [below = of lom]
    {$\langle{}l'_{o,m},\textit{true}\rangle$};
    \node at ($(center) + (0,2.2)$) {$\cdots$};
    \node at ($(center) - (0,2.2)$) {$\cdots$};
    \path[->]   (li1)     edge    node      {$t_{i,1}$}  (li1')
                (lin)     edge    node      {$t_{i,n}$}  (lin')
                (lo1)     edge    node      {$t_{o,1}$}  (lo1')
                (lom)     edge    node      {$t_{o,m}$}  (lom');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lin');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lin') -- (lom);
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lom) -- (lo1);
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (li1');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (lin');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lom);
    %todo: squigilly line 
    \draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (li1);
    \draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (lin);
\end{tikzpicture}

% TeX root = ../main.tex
\begin{tikzpicture}[tree,node distance=1.5cm]
    \node (center)[below=3.8cm of l0] {};
    \draw[fill=rwth-25,draw=none] (center) ellipse [x radius=2.5cm,y radius=2cm];
    \node at ($(center) + (-2,0)$) {SCC};
    \node[state,initial]    (l0)                            {$\langle{}l_0,\textit{true}\rangle$};
    \node[state]            (li1)   [below left = 2cm of l0]
    {$\langle{}l_{i,1},\textit{true}\rangle$};
    \node[state]            (lin)   [below right = 2cm of l0]
    {$\langle{}l'_{i,n},\textit{true}\rangle$};
    \node[state]            (li1')  [below = of li1]
    {$\langle{}l'_{i,1},\textit{true}\rangle$};
    \node[state]            (lin')  [below = of lin]
    {$\langle{}l'_{i,n},\textit{true}\rangle$};
    \node[state]            (lo1)   [below = 2cm of li1']
    {$\langle{}l_{o,1},\textit{true}\rangle$};
    \node[state]            (lom)   [below = 2cm of lin']
    {$\langle{}l_{o,m},\textit{true}\rangle$};
    \node[state]            (lo1')  [below = of lo1]
    {$\langle{}l'_{o,1},\textit{true}\rangle$};
    \node[state]            (lom')  [below = of lom]
    {$\langle{}l'_{o,m},\textit{true}\rangle$};
    \node at ($(center) + (0,2.2)$) {$\cdots$};
    \node at ($(center) - (0,2.2)$) {$\cdots$};
    \path[->]   (li1)     edge    node      {$t_{i,1}$}  (li1')
                (lin)     edge    node      {$t_{i,n}$}  (lin')
                (lo1)     edge    node      {$t_{o,1}$}  (lo1')
                (lom)     edge    node      {$t_{o,m}$}  (lom');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lin');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lin') -- (lom);
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lom) -- (lo1);
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (li1');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (lin');
    \draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lom);
    %todo: squigilly line 
    \draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (li1);
    \draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (lin);
\end{tikzpicture}