Changes between Version 20 and Version 21 of CurrentlyProposedLanguage

Timestamp:

Nov 8, 2010 9:22:16 AM (13 years ago)

Author:

sunshine

Comment:

--

CurrentlyProposedLanguage

@@ -53 +53 @@
 ||if condition cond holds then A occurs else B occurs ||        if cond then A else B || Lowest ||
 ||Repeat some action while condition cond holds       ||do A while cond || Same as if ||
-||A such that cond || A | cond || Same as not ||
+||A for which condition cond holds || A | cond || Same as not ||
 
 = Objects =
@@ -67 +67 @@
 ||A’s initial state is Z ||     A := { state = Z} ||
 ||A has an object M of type Y and with initial value I ||       A := { Y M = I} ||
-||A is an alias for B in state C        || B := A{ state = C}||
+||B is an alias for A in state C        || B := A{ state = C}||
 ||There are N objects of type A || |A|,,N,, ||
 ||A is different than B||       A != B||
@@ -73 +73 @@
 
 = States and state changes =
-State name may be just a symbolic name or it may be associated with an object variable holding some value. An object in a given state always responds in the same manner to the same stimuli.
+State name may be just a symbolic name or it may be associated with an object variable holding some value. An object in a given state always responds in the same manner to the same stimuli. Both state and variable values can be changed during a state change. 
+States are really there just as a memory of which actions object has undergone and what may come next. For example once the Vulnerable object is
+in infected state it starts scanning.
+
 
 State change names start with s followed by a number. They are defined within curly brackets by specifying the object and its new state, like this:
 
 {{{s1 := {object.state = newstate}}}}
+
 
 = Events =