Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
| alvis:modelstate [2013/12/31 09:36] marcin | — (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Model state ====== | ||
| - | **Definition 1.** A **state** of a model **A** = (//D//, //B//, α^0), where //D// = (//A//, //C//, σ) and //A// = {// | ||
| - | |||
| - | **FIXME** | ||
| - | |||
| - | **[[: | ||