From e262cd8e901430e574bb2ee6dcd90b9bed77ccfa Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 14 Jun 2019 15:48:54 +0200
Subject: [PATCH] note that observations are observable events
---
docs/language.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/language.tex b/docs/language.tex
index 8c48bca9b..06eb99c88 100644
--- a/docs/language.tex
+++ b/docs/language.tex
@@ -1,7 +1,7 @@
\section{Language}
\label{sec:language}
-A \emph{language} $\Lang$ consists of a set \Expr{} of \emph{expressions} (metavariable $\expr$), a set \Val{} of \emph{values} (metavariable $\val$), a set $\Obs$ of \emph{observations} and a set $\State$ of \emph{states} (metavariable $\state$) such that
+A \emph{language} $\Lang$ consists of a set \Expr{} of \emph{expressions} (metavariable $\expr$), a set \Val{} of \emph{values} (metavariable $\val$), a set $\Obs$ of \emph{observations} (or ``observable events'') and a set $\State$ of \emph{states} (metavariable $\state$) such that
\begin{itemize}[itemsep=0pt]
\item There exist functions $\ofval : \Val \to \Expr$ and $\toval : \Expr \pfn \Val$ (notice the latter is partial), such that
\begin{mathpar}
--
GitLab