Sidebar

Main

Internal

Trace:

This shows you the differences between two versions of the page.

--- alvis:modelstate [2013/12/31 09:35]
marcin created
+++ — (current)
@@ Line 1: / Line 1: @@
-====== Model state ======
-**Definition 1.** A **state** of a model **A** = (//D//,//B//,α^0), where //D// = (//A//, //C//, σ) and //A// = {//X//_1,...,//X//_//n//} is a tuple //S// = (//S//(//X//_1),...,//S//(//X//_//n//)).
-**FIXME**
-**[[:alvis:manual|Go back]]**