4에서 2, 6에서 2, 14에서 11, 16에서 11까지의 화살표가 필요합니다. 감사합니다!
\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}
답변1
bend left
, bend right
및 in
를 사용하여 out
충돌을 방지하는 방식으로 화살표를 구부릴 수 있습니다. 때때로 이러한 구부러진 곡선으로 인해 경계 상자가 너무 많이 증가하면 overlay
경계 상자 결정에서 이를 제외하는 데 사용할 수 있습니다 .
\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}
또는 구부러진 화살표와 업데이트된 노드를 사용합니다. 이제 looseness
적절한 경우 에도 변경했습니다 .
\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}