☰

거대한 나무를 페이지에 맞추기

tag-icon • tag-icon tikz-trees trees
거대한 나무를 페이지에 맞추기

페이지 번호를 가리지 않고서는 이 거대한 나무 모음을 한 페이지에 담을 수 없습니다. 누구든지 나를 도와줄 수 있나요?

\documentclass[12pt,a4paper]{article}   
\usepackage{tikz-qtree}
\usepackage{tikz-qtree-compat}
\usepackage{ulem}

\begin{document}
\begin{tikzpicture}
\Tree [.S  [.DP [.D some ] [.N woman ] ] [.VP  [.V hugs ] [.DP [.D every ] [.N man ] ]]]
\end{tikzpicture}




 \rotatebox{90}{\begin{tikzpicture}[baseline=(current bounding box.center), scale= 0.9]
\Tree [.S  [.DP [.D some ] [.N woman ] ] [.VP  [.V hugs ] [.DP [.D every ] [.N man ] ]]]
\end{tikzpicture} {\Huge$\Rightarrow$}
 \begin{tikzpicture} [baseline=(current bounding box.center),  scale=.45]   
    \Tree [.{\formula{\exists y [woman' (y) \land [\forall x [man' (x) \rightarrow hug'(y, x)]]: (t} \hspace{0.1cm}}  [.{\formula{\lambda Q. \exists y [woman' (y) \land Q(x)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \exists y [woman' (y) \land Q(x)] : (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda z. woman(z)$: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [.  \node (ne) {e$_{2}$}; ] [.{\formula{\forall x [man' (x) \rightarrow saw'(j, x)] : t_{1} }} [.{\formula{\lambda Q. \forall x [man' (x) \rightarrow Q(x)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \forall (x) [P(x) \rightarrow Q(x)]: (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda$ x. x is a man: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [. \node (ue) {e$_{3}$}; ] [.{\formula{saw(k,m): (t_{1}) \hspace{0.1cm}  }} [.\node [circle,draw] (me) {k : e$_{2}$} ;] [.{\formula{\lambda x. saw(x,m): (e_{2}  \rightarrow t_{1}) \hspace{0.1cm}  }} [. {\formula{\lambda y\lambda x. saw(x,y): (e_{3} \rightarrow (e_{2}  \rightarrow  t_{1})} } ] [. \node [circle,draw] (le) {m : e$_{3}$} ; ]  ]  ] ] ] ] ] ] ] 
\draw[semithick, dashed, ->] (le)..controls +(south west:5) and +(south:5) .. (ue); 
\draw[semithick, dashed, ->] (me)..controls +(south west:7) and +(south:7) .. (ne);
\begin{scope}[xshift=-0.5cm,yshift=-10cm]
      \Tree [.{\formula{\forall x [man' (x) \rightarrow[\exists y [woman' (y) \rightarrow hug'(y, x)]]: (t} \hspace{0.1cm}}  [.{\formula{\lambda Q. \forall x [man' (x) \rightarrow Q(x)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \forall x [P(x) \rightarrow Q(x)] : (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda z. woman(z)$: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [.  \node (ne) {e$_{2}$}; ] [.{\formula{\exists x [woman' (y) \land saw'(j, y)] : t_{1} }} [.{\formula{\lambda Q. \exists (y) [woman'(y) \land Q(y)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \exists (y) [P(y) \land Q(y)]: (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda$ x. x is a man: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [. \node (ue) {e$_{3}$}; ] [.{\formula{saw(k,m): (t_{1}) \hspace{0.1cm}  }} [.\node [circle,draw] (le) {k : e$_{2}$} ;] [.{\formula{\lambda x. saw(x,m): (e_{2}  \rightarrow t_{1}) \hspace{0.1cm}  }} [. {\formula{\lambda y\lambda x. saw(x,y): (e_{3} \rightarrow (e_{2}  \rightarrow  t_{1})} } ] [. \node [circle,draw] (me) {m : e$_{3}$} ; ]  ]  ] ] ] ] ] ] ] 
\draw[semithick, dashed, ->] (le)..controls +(south west:2) and +(south:2) .. (ue); 
\draw[semithick, dashed, ->] (me)..controls +(south west:7) and +(south:7) .. (ne);
      \end{scope}

    \end{tikzpicture} }
\end{document}

답변1

글쎄, 당신은 이것을 할 수 있지만 독자들은 그것에 대해 감사하지 않을 것입니다! 정보를 표시하는 방법(또는 A3에 인쇄하는 방법)을 다시 생각해 보는 것이 좋습니다.

\documentclass[12pt,a4paper]{article}
\usepackage{tikz-qtree}
\usepackage{tikz-qtree-compat}
\newcommand\formula[1]{\ensuremath{#1}}
\usepackage{ulem}

\begin{document}
\begin{tikzpicture}
\Tree [.S  [.DP [.D some ] [.N woman ] ] [.VP  [.V hugs ] [.DP [.D every ] [.N man ] ]]]
\end{tikzpicture}


\rotatebox{90}{%
\resizebox{\textheight}{!}{%
 \begin{tikzpicture}[baseline=(current bounding box.center)]
\Tree [.S  [.DP [.D some ] [.N woman ] ] [.VP  [.V hugs ] [.DP [.D every ] [.N man ] ]]]
\end{tikzpicture} {\Huge$\Rightarrow$}
 \begin{tikzpicture} [baseline=(current bounding box.center),  scale=.5]
    \Tree [.{\formula{\exists y [woman' (y) \land [\forall x [man' (x) \rightarrow hug'(y, x)]]: (t} \hspace{0.1cm}}  [.{\formula{\lambda Q. \exists y [woman' (y) \land Q(x)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \exists y [woman' (y) \land Q(x)] : (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda z. woman(z)$: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [.  \node (ne) {e$_{2}$}; ] [.{\formula{\forall x [man' (x) \rightarrow saw'(j, x)] : t_{1} }} [.{\formula{\lambda Q. \forall x [man' (x) \rightarrow Q(x)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \forall (x) [P(x) \rightarrow Q(x)]: (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda$ x. x is a man: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [. \node (ue) {e$_{3}$}; ] [.{\formula{saw(k,m): (t_{1}) \hspace{0.1cm}  }} [.\node [circle,draw] (me) {k : e$_{2}$} ;] [.{\formula{\lambda x. saw(x,m): (e_{2}  \rightarrow t_{1}) \hspace{0.1cm}  }} [. {\formula{\lambda y\lambda x. saw(x,y): (e_{3} \rightarrow (e_{2}  \rightarrow  t_{1})} } ] [. \node [circle,draw] (le) {m : e$_{3}$} ; ]  ]  ] ] ] ] ] ] ]
\draw[semithick, dashed, ->] (le)..controls +(south west:5) and +(south:5) .. (ue);
\draw[semithick, dashed, ->] (me)..controls +(south west:7) and +(south:7) .. (ne);
\begin{scope}[xshift=-0.5cm,yshift=-10cm]
      \Tree [.{\formula{\forall x [man' (x) \rightarrow[\exists y [woman' (y) \rightarrow hug'(y, x)]]: (t} \hspace{0.1cm}}  [.{\formula{\lambda Q. \forall x [man' (x) \rightarrow Q(x)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \forall x [P(x) \rightarrow Q(x)] : (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda z. woman(z)$: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [.  \node (ne) {e$_{2}$}; ] [.{\formula{\exists x [woman' (y) \land saw'(j, y)] : t_{1} }} [.{\formula{\lambda Q. \exists (y) [woman'(y) \land Q(y)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \exists (y) [P(y) \land Q(y)]: (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda$ x. x is a man: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [. \node (ue) {e$_{3}$}; ] [.{\formula{saw(k,m): (t_{1}) \hspace{0.1cm}  }} [.\node [circle,draw] (le) {k : e$_{2}$} ;] [.{\formula{\lambda x. saw(x,m): (e_{2}  \rightarrow t_{1}) \hspace{0.1cm}  }} [. {\formula{\lambda y\lambda x. saw(x,y): (e_{3} \rightarrow (e_{2}  \rightarrow  t_{1})} } ] [. \node [circle,draw] (me) {m : e$_{3}$} ; ]  ]  ] ] ] ] ] ] ]
\draw[semithick, dashed, ->] (le)..controls +(south west:2) and +(south:2) .. (ue);
\draw[semithick, dashed, ->] (me)..controls +(south west:7) and +(south:7) .. (ne);
      \end{scope}
    \end{tikzpicture}}}
\end{document}

찌그러진 나무들

같은 페이지에 첫 번째 트리를 원한다면 이것을 시도해 볼 수 있지만 독자들은 이것이 쉽지 않을 것입니다.

\documentclass[12pt,a4paper]{article}
\usepackage{tikz-qtree}
\usepackage{tikz-qtree-compat}
\newcommand\formula[1]{\ensuremath{#1}}
\usepackage{ulem}

\begin{document}
\rotatebox{90}{%
  \begin{minipage}{\textheight}
  \begin{tikzpicture}
    \Tree [.S  [.DP [.D some ] [.N woman ] ] [.VP  [.V hugs ] [.DP [.D every ] [.N man ] ]]]
  \end{tikzpicture}

  \resizebox{\textheight}{!}{%
    \begin{tikzpicture}[baseline=(current bounding box.center)]
      \Tree [.S  [.DP [.D some ] [.N woman ] ] [.VP  [.V hugs ] [.DP [.D every ] [.N man ] ]]]
    \end{tikzpicture} {\Huge$\Rightarrow$}
    \begin{tikzpicture} [baseline=(current bounding box.center),  scale=.5]
      \Tree [.{\formula{\exists y [woman' (y) \land [\forall x [man' (x) \rightarrow hug'(y, x)]]: (t} \hspace{0.1cm}}  [.{\formula{\lambda Q. \exists y [woman' (y) \land Q(x)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \exists y [woman' (y) \land Q(x)] : (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda z. woman(z)$: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [.  \node (ne) {e$_{2}$}; ] [.{\formula{\forall x [man' (x) \rightarrow saw'(j, x)] : t_{1} }} [.{\formula{\lambda Q. \forall x [man' (x) \rightarrow Q(x)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \forall (x) [P(x) \rightarrow Q(x)]: (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda$ x. x is a man: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [. \node (ue) {e$_{3}$}; ] [.{\formula{saw(k,m): (t_{1}) \hspace{0.1cm}  }} [.\node [circle,draw] (me) {k : e$_{2}$} ;] [.{\formula{\lambda x. saw(x,m): (e_{2}  \rightarrow t_{1}) \hspace{0.1cm}  }} [. {\formula{\lambda y\lambda x. saw(x,y): (e_{3} \rightarrow (e_{2}  \rightarrow  t_{1})} } ] [. \node [circle,draw] (le) {m : e$_{3}$} ; ]  ]  ] ] ] ] ] ] ]
      \draw[semithick, dashed, ->] (le)..controls +(south west:5) and +(south:5) .. (ue);
      \draw[semithick, dashed, ->] (me)..controls +(south west:7) and +(south:7) .. (ne);
      \begin{scope}[xshift=-0.5cm,yshift=-10cm]
        \Tree [.{\formula{\forall x [man' (x) \rightarrow[\exists y [woman' (y) \rightarrow hug'(y, x)]]: (t} \hspace{0.1cm}}  [.{\formula{\lambda Q. \forall x [man' (x) \rightarrow Q(x)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \forall x [P(x) \rightarrow Q(x)] : (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda z. woman(z)$: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [.  \node (ne) {e$_{2}$}; ] [.{\formula{\exists x [woman' (y) \land saw'(j, y)] : t_{1} }} [.{\formula{\lambda Q. \exists (y) [woman'(y) \land Q(y)]: (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \exists (y) [P(y) \land Q(y)]: (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda$ x. x is a man: \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):(e_{3} \rightarrow t_{1})} } [. \node (ue) {e$_{3}$}; ] [.{\formula{saw(k,m): (t_{1}) \hspace{0.1cm}  }} [.\node [circle,draw] (le) {k : e$_{2}$} ;] [.{\formula{\lambda x. saw(x,m): (e_{2}  \rightarrow t_{1}) \hspace{0.1cm}  }} [. {\formula{\lambda y\lambda x. saw(x,y): (e_{3} \rightarrow (e_{2}  \rightarrow  t_{1})} } ] [. \node [circle,draw] (me) {m : e$_{3}$} ; ]  ]  ] ] ] ] ] ] ]
        \draw[semithick, dashed, ->] (le)..controls +(south west:2) and +(south:2) .. (ue);
        \draw[semithick, dashed, ->] (me)..controls +(south west:7) and +(south:7) .. (ne);
      \end{scope}
    \end{tikzpicture}}
\end{minipage}}
\end{document}

모두 하나로

나무를 중앙에 배치하려면 \centering다음을 추가하세요 .\minipage

중심

나는 다른 스케일링이 어떤 의미를 갖고 있다고 생각하여 회전된 상자 내에서 상대적인 스케일링을 일정하게 유지했습니다. 그러나 결과는 분명히 약간 이상해 보입니다....

답변2

나는 한 페이지에 얼마나 많은 정보를 담고 있는지, 특히 화살표 앞에 복제되는 상단의 트리가 정말로 필요한지 다시 생각해보고 싶을 수도 있다는 cfr의 의견에 동의합니다.

다음은 제가 수행한 공간 절약형 변경 사항입니다. 그것들은 모두 서로 독립적이므로 필요에 맞게 조정할 수 있지만 줄 바꿈이 가장 큰 차이를 만든다는 것을 알게 될 것입니다.

  • 트리 노드 내에서 줄 바꿈.의미 체계에서는 콜론에서 줄을 끊었습니다. 노드 내에서 줄 바꿈을 허용하려면 가 필요합니다 every tree node/.style={align=center,anchor=north}. 또한 level distance선이 끊어지면 가지가 너무 납작해지거나 뒤집히는 것을 방지하기 위해 조정했습니다 .
  • 여백.패키지 를 이용해서 여백을 모두 2.5cm로 줄였습니다 geometry.
  • 스케일링.에서 로드하는 \scalebox에서 제공하는 명령을 사용했습니다 . 의 옵션 보다 더 잘 작동한다는 것을 알았습니다 .graphicxtikzscaletikz

여기에 이미지 설명을 입력하세요

\documentclass[12pt,a4paper]{article}
\usepackage{tikz-qtree}
\usepackage{tikz-qtree-compat}
\newcommand\formula[1]{\ensuremath{#1}}
\usepackage{ulem}
\usepackage[margin=2.5cm]{geometry}

\begin{document}

  \scalebox{.7}{
  \begin{tikzpicture}
    \Tree [.S  [.DP [.D some ] [.N woman ] ] [.VP  [.V hugs ] [.DP [.D every ] [.N man ] ]]]
  \end{tikzpicture}
  }

  \rotatebox{90}{%
    \scalebox{.6}{
    \begin{tikzpicture}[baseline=(current bounding box.center)]
      \Tree [.S  [.DP [.D some ] [.N woman ] ] [.VP  [.V hugs ] [.DP [.D every ] [.N man ] ]]]
    \end{tikzpicture} {\Huge$\Rightarrow$}
    }
    \scalebox{.6}{
    \begin{tikzpicture} [baseline=(current bounding box.center), every tree node/.style={align=center,anchor=north}, level distance = 9ex]
      \Tree [.{\formula{\exists y [woman' (y) \land [\forall x [man' (x) \rightarrow hug'(y, x)]]:}\\\formula{(t} \hspace{0.1cm}}  [.{\formula{\lambda Q. \exists y [woman' (y) \land Q(x)]:}\\ \formula{(\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \exists y [woman' (y) \land Q(x)] :}\\ \formula{(e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda z. woman(z)$:\\ \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):}\\\formula{(e_{3} \rightarrow t_{1})} } [.  \node (ne) {e$_{2}$}; ] [.{\formula{\forall x [man' (x) \rightarrow saw'(j, x)] :}\\\formula{t_{1} }} [.{\formula{\lambda Q. \forall x [man' (x) \rightarrow Q(x)]:}\\ \formula{(\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \forall (x) [P(x) \rightarrow Q(x)]:}\\\formula{(e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda$ x. x is a man:\\ \formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):}\\\formula{(e_{3} \rightarrow t_{1})} } [. \node (ue) {e$_{3}$}; ] [.{\formula{saw(k,m):}\\\formula{(t_{1}) \hspace{0.1cm}  }} [.\node [circle,draw] (me) {k : e$_{2}$} ;] [.{\formula{\lambda x. saw(x,m):}\\\formula{ (e_{2}  \rightarrow t_{1}) \hspace{0.1cm}  }} [. {\formula{\lambda y\lambda x. saw(x,y):}\\\formula{ (e_{3} \rightarrow (e_{2}  \rightarrow  t_{1})} } ] [. \node [circle,draw] (le) {m : e$_{3}$} ; ]  ]  ] ] ] ] ] ] ]
      \draw[semithick, dashed, ->] (le.south west)..controls +(south west:4) and +(south:5) .. (ue);
      \draw[semithick, dashed, ->] (me.south west)..controls +(-10,-3) and +(south:7) .. (ne);
      \begin{scope}[xshift=-0.5cm,yshift=-12cm]
        \Tree [.{\formula{\forall x [man' (x) \rightarrow[\exists y [woman' (y) \rightarrow hug'(y, x)]]:}\\\formula{ (t} \hspace{0.1cm}}  [.{\formula{\lambda Q. \forall x [man' (x) \rightarrow Q(x)]:}\\\formula{ (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \forall x [P(x) \rightarrow Q(x)] :}\\\formula{ (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda z. woman(z)$:\\\formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):}\\\formula{(e_{3} \rightarrow t_{1})} } [.  \node (ne) {e$_{2}$}; ] [.{\formula{\exists x [woman' (y) \land saw'(j, y)] :}\\\formula{ t_{1} }} [.{\formula{\lambda Q. \exists (y) [woman'(y) \land Q(y)]:}\\\formula{ (\forall X(e_{3} \rightarrow X) \rightarrow X))} \hspace{0.1cm}} [. { \formula{\lambda P. \lambda Q. \exists (y) [P(y) \land Q(y)]:}\\\formula{ (e_{4} \rightarrow t_{1})\rightarrow (\forall X(e_{3} \rightarrow X) \rightarrow X))}}   ] [.{$\lambda$ x. x is a man:\\\formula{(e_{4} \rightarrow t_{1})}}   ] ] [.{\formula{\lambda m. saw(k,m):}\\\formula{(e_{3} \rightarrow t_{1})} } [. \node (ue) {e$_{3}$}; ] [.{\formula{saw(k,m):}\\\formula{ (t_{1}) \hspace{0.1cm}  }} [.\node [circle,draw] (le) {k : e$_{2}$} ;] [.{\formula{\lambda x. saw(x,m):}\\\formula{ (e_{2}  \rightarrow t_{1}) \hspace{0.1cm}  }} [. {\formula{\lambda y\lambda x. saw(x,y):}\\\formula{ (e_{3} \rightarrow (e_{2}  \rightarrow  t_{1})} } ] [. \node [circle,draw] (me) {m : e$_{3}$} ; ]  ]  ] ] ] ] ] ] ]
        \draw[semithick, dashed, ->] (le.west)..controls +(west:1) and +(south:1) .. (ue);
        \draw[semithick, dashed, ->] (me.south west)..controls +(-12,-3) and +(south:8) .. (ne);
      \end{scope}
    \end{tikzpicture}}}

\end{document}

관련 정보