diff options
Diffstat (limited to 'Assignment1/syntax.tex')
| -rw-r--r-- | Assignment1/syntax.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment1/syntax.tex b/Assignment1/syntax.tex index 81c1844..1090e5d 100644 --- a/Assignment1/syntax.tex +++ b/Assignment1/syntax.tex @@ -1,8 +1,8 @@ \subsubsection{Syntax} +\erin % Provide formal syntax % Provide intuitive semantics %TODO: Provide formal semantics -\erin This subsection describes the syntax of PLTL. PLTL uses the same operators as LTL and adds two additional operators: $\Pop$ (pronounced \enquote{previously}) and |