diff options
| author | Erin van der Veen | 2018-04-10 15:21:45 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-04-10 15:21:45 +0200 |
| commit | 7d871cecfa0450d6c398dd7b63136c4a9d4fd9ff (patch) | |
| tree | dad3587c6b9ab013291287c35856651f2743a9dd /Assignment1/assignment1.tex | |
| parent | Define equivalence for LTLP (diff) | |
Align intuitive symantics
Diffstat (limited to 'Assignment1/assignment1.tex')
| -rw-r--r-- | Assignment1/assignment1.tex | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex index 1e50572..bac6910 100644 --- a/Assignment1/assignment1.tex +++ b/Assignment1/assignment1.tex @@ -91,7 +91,8 @@ we include an arrow that points to the state for which the formula holds. \begin{figure} \centering - $a \Sop b$ + \begin{align*} + a \Sop b& \begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,initial text={},baseline=-0.5ex] \node (0) {\dots}; \node[state,label=arbitrary,minimum size=15pt] (1) [right of = 0] {}; @@ -102,7 +103,7 @@ we include an arrow that points to the state for which the formula holds. \node (6) [right of = 5] {\dots}; \path[->] (0) edge (1) (1) edge (2)(2) edge (3)(3) edge (4)(4) edge (5)(5) edge (6); \end{tikzpicture}\\ - $\Xop^{-1} a$ + \Xop^{-1} a& \begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,initial text={},baseline=-0.5ex] \node (0) {\dots}; \node[state,label=arbitrary,minimum size=15pt] (1) [right of = 0] {}; @@ -113,7 +114,7 @@ we include an arrow that points to the state for which the formula holds. \node (6) [right of = 5] {\dots}; \path[->] (0) edge (1) (1) edge (2)(2) edge (3)(3) edge (4)(4) edge (5)(5) edge (6); \end{tikzpicture}\\ - $\Fop^{-1} a$ + \Fop^{-1} a& \begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,initial text={},baseline=-0.5ex] \node (0) {\dots}; \node[state,label=arbitrary,minimum size=15pt] (1) [right of = 0] {}; @@ -124,7 +125,7 @@ we include an arrow that points to the state for which the formula holds. \node (6) [right of = 5] {\dots}; \path[->] (0) edge (1) (1) edge (2)(2) edge (3)(3) edge (4)(4) edge (5)(5) edge (6); \end{tikzpicture}\\ - $\Gop^{-1} a$ + \Gop^{-1} a& \begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,initial text={},baseline=-0.5ex] \node (0) {\dots}; \node[state,label=$a$ ,minimum size=15pt] (1) [right of = 0] {}; @@ -135,6 +136,7 @@ we include an arrow that points to the state for which the formula holds. \node (6) [right of = 5] {\dots}; \path[->] (0) edge (1) (1) edge (2)(2) edge (3)(3) edge (4)(4) edge (5)(5) edge (6); \end{tikzpicture}\\ + \end{align*} \caption{Intuitive semantics of past modalities.} \label{fig:LTLP_intuitive} \end{figure} |