system state SystemState 2005-10-05 20:12:17 2006-11-09 19:18:53 Definition A \emph{system state}, or simply \emph{state}, is a function $s\colon L \to V$ from the set of labels $L$ to the set of values $V$.