Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt. (Leibniz)
The goal of this approach is to be able to study rigorously the computational and logical power of Pâninian formal grammar. A guiding princ...