Re: Alternative language versioning formalism

On Tue, 2008-05-27 at 17:05 -0400, Jonathan Rees wrote:
[...]
> Two agents, a sender and a receiver, are playing a game that goes as
> follows:
>    1. An objective (target action) o is chosen somehow from A = a space
>       of possible action
[...]
> ------------------------------------------------------------------
> 
> Example:
>    A = {stop, go, caution, reverse, unassigned}
>    M = {red, yellow, green}
>    unassigned ~> o  for all o in O

typo? should that be for all o in A ?

>    L = (F,I), L'=(F',I')
>    I = {green:go, stop:red, yellow:unassigned}
>    F = {red, green}
>    I' = {green:go, stop:red, yellow:caution}
>    F' = {red, green, yellow}
> 
> ------------------------------------------------------------------

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E