☰

Me vendría bien un poco de ayuda para agregar flechas a esta máquina.

tag-icon • tag-icon tikz-pgf
Me vendría bien un poco de ayuda para agregar flechas a esta máquina.

Necesito flechas del 4 al 2, del 6 al 2, del 14 al 11, del 16 al 11. ¡Gracias!

\documentclass{article}
\usepackage{float}
\usepackage{tikz}
\usetikzlibrary{automata, positioning, arrows}
\tikzset{
->, % makes the edges directed
%>=stealth', % makes the arrow heads bold
node distance=3cm, % specifies the minimum distance between two nodes. Change if necessary.
every state/.style={thick, fill=gray!10}, % sets the properties for each 'state' node
initial text=$ $, % sets the text that appears on the start arrow
 }
 \begin{document}
  \begin{figure}[H]
1.19 a
%\centering
\begin{tikzpicture}[node distance=2em and 2em]
    \node[state, initial](1) {};
    \node[state, right=of 1](2){};
    \node[state, above right=of 2](3){};
    \node[state, right=of 3](4) {};
    \node[state, below right=of 2](5){};
    \node[state, right=of 5](6){};
    \node[state, below right=of 4](7){};
    \node[state,right=of 7](8){};
    \node[state,right=of 8](9){};
    \node[state,right=of 9](10){};
    \node[state,accepting, below =of 10](11){};
    \node[state, below left=of 11](12){};
    \node[state, above left =of 12](13){};
    \node[state, below left=of 12](15){};
    \node[state,accepting,left =of 13](14){};
    \node[state,accepting, left =of 15](16){};
    \draw
    (1) edge[above] node{$\epsilon$} (2)
    (1) to[out=50,in=90,looseness=1.2, above]node{$\epsilon$} (7)
    (2) edge[above]node{$\epsilon$}(3)
    (2) edge[above]node{$\epsilon$}(5)
    (3) edge[below]node{$0$}(4)
    (5) edge[above]node{$1$}(6)
    (4) edge[below]node{$\epsilon$}(7)
    (6) edge[above]node{$\epsilon$}(7)
    (7) edge[above]node{$0$}(8)
    (8) edge[above]node{$0$}(9)
    (9) edge[above]node{$0$}(10)
    (10) edge[left]node{$\epsilon$}(11)
    (11) edge[above]node{$\epsilon$}(12)
    (12) edge[above]node{$\epsilon$}(13)
    (13) edge[above]node{$0$}(14)
    (12) edge[above]node{$\epsilon$}(15)
    (15) edge[above]node{$1$}(16);
\path (current bounding box.north) ++ (0,1cm);
\end{tikzpicture}
\caption{$(0\cup 1)^*000(0\cup 1)^*$}
\end{figure}
 \end{document}

Respuesta1

Puedes usar bend left, bend righty iny outpara doblar las flechas de tal manera que eviten colisiones. A veces, estas curvas dobladas aumentan demasiado el cuadro delimitador, luego puede usarlas overlaypara excluirlas de la determinación del cuadro delimitador.

\documentclass{article}
\usepackage{float}
\usepackage{tikz}
\usetikzlibrary{automata, positioning, arrows}
\tikzset{
->, % makes the edges directed
%>=stealth', % makes the arrow heads bold
node distance=3cm, % specifies the minimum distance between two nodes. Change if necessary.
every state/.style={thick, fill=gray!10}, % sets the properties for each 'state' node
initial text=$ $, % sets the text that appears on the start arrow
 }
 \begin{document}
  \begin{figure}[H]
1.19 a
%\centering
\begin{tikzpicture}[node distance=2em and 2em]
    \node[state, initial](1) {};
    \node[state, right=of 1](2){};
    \node[state, above right=of 2](3){};
    \node[state, right=of 3](4) {};
    \node[state, below right=of 2](5){};
    \node[state, right=of 5](6){};
    \node[state, below right=of 4](7){};
    \node[state,right=of 7](8){};
    \node[state,right=of 8](9){};
    \node[state,right=of 9](10){};
    \node[state,accepting, below =of 10](11){};
    \node[state, below left=of 11](12){};
    \node[state, above left =of 12](13){};
    \node[state, below left=of 12](15){};
    \node[state,accepting,left =of 13](14){};
    \node[state,accepting, left =of 15](16){};
    \draw
    (1) edge[above] node{$\epsilon$} (2)
    (1) to[out=50,in=90,looseness=1.2, above]node{$\epsilon$} (7)
    (2) edge[above]node{$\epsilon$}(3)
    (2) edge[above]node{$\epsilon$}(5)
    (3) edge[below]node{$0$}(4)
    (5) edge[above]node{$1$}(6)
    (4) edge[below]node{$\epsilon$}(7)
    (6) edge[above]node{$\epsilon$}(7)
    (7) edge[above]node{$0$}(8)
    (8) edge[above]node{$0$}(9)
    (9) edge[above]node{$0$}(10)
    (10) edge[left]node{$\epsilon$}(11)
    (11) edge[above]node{$\epsilon$}(12)
    (12) edge[above]node{$\epsilon$}(13)
    (13) edge[above]node{$0$}(14)
    (12) edge[above]node{$\epsilon$}(15)
    (15) edge[above]node{$1$}(16)
    (4) edge[bend left=15] (2)
    (6) edge[bend right=15] (2)
    (14) edge[bend left=30] (11)
    (16) edge[out=-40,in=-90,overlay] (11)
    ;
\path (current bounding box.north) ++ (0,1cm);
\end{tikzpicture}
\caption{$(0\cup 1)^*000(0\cup 1)^*$}
\end{figure}
\end{document}

ingrese la descripción de la imagen aquí

O con flechas dobladas y nodos actualizados. Ahora también cambié el loosenesslugar apropiado.

\documentclass{article}
\usepackage{float}
\usepackage{tikz}
\usetikzlibrary{automata, positioning, arrows.meta,bending}
\tikzset{
->, % makes the edges directed
>={Stealth[bend]}, % makes the arrow heads bold
node distance=3cm, % specifies the minimum distance between two nodes. Change if necessary.
every state/.style={thick, fill=gray!10}, % sets the properties for each 'state' node
initial text=$ $, % sets the text that appears on the start arrow
 }
 \begin{document}
  \begin{figure}[H]
1.19 a
%\centering
\begin{tikzpicture}[node distance=2em and 2em]
    \node[state, initial](1) {};
    \node[state, right=of 1](2){};
    \node[state, above right=of 2](3){};
    \node[state, right=of 3](4) {};
    \node[state, below right=of 2](5){};
    \node[state, right=of 5](6){};
    \node[state, below right=of 4](7){};
    \node[state,right=of 7](8){};
    \node[state,right=of 8](9){};
    \node[state,right=of 9](10){};
    \node[state,accepting, below =of 10](11){};
    \node[state, below left=of 11](12){};
    \node[state, above left =of 12](13){};
    \node[state, below left=of 12](15){};
    \node[state,accepting,left =of 13](14){};
    \node[state,accepting, left =of 15](16){};
    \draw
    (1) edge[above] node{$\epsilon$} (2)
    (1) to[out=50,in=90,looseness=1.2, above]node{$\epsilon$} (7)
    (2) edge[above]node{$\epsilon$}(3)
    (2) edge[above]node{$\epsilon$}(5)
    (3) edge[below]node{$0$}(4)
    (5) edge[above]node{$1$}(6)
    (4) edge[below]node{$\epsilon$}(7)
    (6) edge[above]node{$\epsilon$}(7)
    (7) edge[above]node{$0$}(8)
    (8) edge[above]node{$0$}(9)
    (9) edge[above]node{$0$}(10)
    (10) edge[left]node{$\epsilon$}(11)
    (11) edge[above]node{$\epsilon$}(12)
    (12) edge[above]node{$\epsilon$}(13)
    (13) edge[above]node{$0$}(14)
    (12) edge[above]node{$\epsilon$}(15)
    (15) edge[above]node{$1$}(16)
    (4) edge[bend left=15] (2)
    (6) edge[bend right=15] (2)
    (14) edge[out=45,in=90,looseness=1.5] (12)
    (16) edge[out=-45,in=-90,looseness=1.5,overlay] (12)
    ;
\path (current bounding box.north) ++ (0,1cm)
(current bounding box.south) ++ (0,-0.3cm);
\end{tikzpicture}
\caption{$(0\cup 1)^*000(0\cup 1)^*$}
\end{figure}
\end{document}

ingrese la descripción de la imagen aquí

información relacionada