We now characterize derivational entropy using expected rule frequencies as As already discussed, under the assumption that G p is proper and consistent we have in Gp (α) = 1 for every α.
we can write The computation of out Gp (A) was discussed in Section 3, and also H(A) can easily be calculated.