Die vorliegende Arbeit untersucht aus einer neuen Perspektive Pāṇinis Aṣṭādhyāyī. Es versucht, Pāṇinis Regelwerk der Sanskrit-Grammatik aus formaler Sicht zu erforschen und die Möglichkeiten zu untersuchen, es logisch, explizit und konsistent darzustellen. Dazu wird ein geeignetes Framework für eine solche Repräsentation vorgeschlagen. Im Unterschied zur Aṣṭādhyāyī, die in einer künstlichen, aber natürlichen Sprache verfasst ist und für Personen konzipiert war, die sowohl mit der Sanskrit-Sprache als auch mit grammatischen Techniken vertraut sind, zielt die vorliegende Darstellung auf eine nonverbale Repräsentation in Form von mathematischen Kategorien und logischen Beziehungen ab, die algorithmisch umgesetzt werden können. Der in dieser Arbeit vorgeschlagene formale Rahmen würde geeignete Werkzeuge bereitstellen, um Hypothesen zum grammatischen System zu postulieren und zu evaluieren. Darüber hinaus würde er die Grundlage für eine computergestützte Implementierung der Grammatik schaffen. Beide Aspekte sind Forschungsgegenstand im Bereich der theoretischen Studien zu Pāṇini sowie der neu entstehenden Disziplin der Sanskrit-Computerlinguistik. Dieses Buch beschäftigt sich mit der Grundlagenarbeit in diesen Bereichen.The present work is a study of the Aṣṭādhyāyī of Pāṇini from a new perspective. It attempts to explore the Pāṇinian system of Sanskrit grammar from a formal point of view and investigate the possibilities of representing it in a logical, explicit and consistent manner. It puts forward an appropriate framework for such a representation. Differing from the formulation of Aṣṭādhyāyī, which is composed in an artificial yet natural language and is meant to be employed by individuals who are acquainted both with the Sanskrit language and the techniques of grammar, the present rendering aims for a non-verbal representation in terms of mathematical categories and logical relations which can be implemented in an algorithmic manner. The formal framework suggested in this work would facilitate adequate tools for postulating and evaluating hypotheses about the grammatical system. Moreover, it would furnish the basis for a computer implementation of the grammar. Both these aspects are objects of enquiry in the field of theoretical studies on Pāṇini as well as the emerging discipline of Sanskrit computational linguistics. This book takes on the ground-work in these areas.