(S:([1]
i)
s) = (S:([1]j)s)j) @ ([1]i)s) = (S:([0]j) @ ([1]j)s) (S:([0]j) @ ([1]i)s) = q
)
nnS.car
k:. (S:n0n1(k)s) = q(n+1)(n+1)i)s)) = f((S:([1]j)s))i)s) = (S:([1]j)s) (S:([0]j) @ ([1]i)s) = qS:ActionSet(Alph), s:S.car, L1,L2,L:Alph*.
(S:L1s) = (S:L2s) 
(S:L @ L1s) = (S:L @ L2s)
[;S;s;([1]i);([1]j);([0]j)]| 1 | (S:([1]i)s) = (S:([1]j)s) |
| 2 | 15. (S:([0]j) @ ([1]i)s) = (S:([0]j) @ ([1]j)s) (S:([0]j) @ ([1]i)s) = q |
About:
 |  |  |  |  |
 |  |  |  |  |