Programming Language Theory Concept

Rule induction

Books

Journey Statuslearning

\frac{a_{1} J \dots a_{k} J}{a J}

we typically need to show:

\frac{𝒫 (a_{1}) \dots 𝒫 (a_{k})}{𝒫 (a)}

Then, we can conclude that whenever $a J$ , $𝒫 (a)$