)2. s: S.car
3. q: S.car
4. (
n:
. #(S.car)=n ) & (
k:. (S:n0n1(k)
s) = q)
L:*. (S:Ls) = q & (k:. 
L = n0n1(k)) S:ActionSet(), s,q:S.car.
(n:. #(S.car)=n ) & (k:. (S:n0n1(k)s) = q) 
(L:*. (S:Ls) = q & (k:. L = n0n1(k)))| 1 | 1. S: ActionSet() 2. s: S.car 3. q: S.car 4. ( n:. #(S.car)=n ) & (k:. (S:n0n1(k)s) = q) L:*. (S:Ls) = q & (k:. L = n0n1(k)) |
About:
 |  |  |  |  |  |  |