S:ActionSet(
), s,q:S.car.
(
n:
. #(S.car)=n ) & (k:. (S:n0n1(k)
s) = q) 
(L:*. (S:Ls) = q & (k:. 
L = n0n1(k)))
n0n1_irregular
A == A False
Thm* S:ActionSet(), s,q:S.car.
(n:. #(S.car)=n ) & (k:. (S:n0n1(k)s) = q)
(L:*. (S:Ls) = q & (k:. L = n0n1(k)))
n0n1_irregular
In prior sections: core bool 1 int 2 list 1 finite sets list 3 autom