Imetungwa katika eneo ambalo sasa ni Pakistan kaskazini-magharibi karibu 500–400 KK, Aṣṭādhyāyī — "Sura Nane" za Pāṇini — hutoa maelezo ya kizazi cha Kisanskrit katika chini ya sūtras 4,000 (sheria fupi za maandalisho). Sarufi nzima inatoshea katika karibu kurasa 35 za uchapishaji wa kisasa. Wanaisimu kama Leonard Bloomfield, Paul Kiparsky na Noam Chomsky wamejadili uchanganuzi wake rasmi kuhusiana na kazi za baadaye katika isimu na sayansi ya kompyuta.
Tunajua karibu chochote kuhusu Pāṇini mtu — tu kwamba alikuwa kutoka kijiji cha Śalātura (Lahor / Lahur ya sasa, mara kwa mara hujulikana kama "Lahore Ndogo", karibu na Attock kaskazini-magharibi mwa Pakistan — isichanganywe na mji mkubwa wa Punjabi wa Lahore), labda alifanya kazi katika karne ya 5 au 4 KK, na kwamba kila kitu alichotoa kilionekana kuundwa kukumbukwa kwa sauti. Aṣṭādhyāyī ilihifadhiwa kwa kusoma kwa kurudia kwa karne kabla ya kuandikwa. Kuokoa silabi — na kwa hiyo pumzi — Pāṇini alibuni lugha-meta nzima ya kiufundi: mfumo wa vifupisho vya herufi moja, orodha za fonimu zilizoamuriwa zinazoitwa Śiva sūtras, mikataba ya matumizi ya sheria "tegemea-muktadha", anuvṛtti (urithi wa sheria kutoka mstari uliotangulia ambao hauhitaji kutamkwa tena), na mfumo wa kipaumbele wa kutatua sheria gani inatumika wakati sheria mbili zinapingana.
Tokeo linasomeka, kwa jicho la kisasa, kwa ajabu kama sheria za uzalishaji wa sarufi isiyo na muktadha — tu yenye nguvu zaidi. Muundo wa sheria wa Pāṇini kimsingi ni:
A → B / X _ Y
"A inakuwa B katika muktadha ambapo inatanguliwa na X na kufuatwa na Y" — notation ambayo isimu ilirudia kwa kujitegemea mwaka 1968.
Mifano ya kile mashine ya Pāṇini hufanya:
- Sandhi. Kisanskrit kinajulikana kwa kunyonya sauti kwenye mipaka ya maneno (tat + ca → tac ca, tat + na → tan na). Pāṇini hupunguza mfumo huu mzima kuwa seti ndogo ya sheria za kifonolojia zilizoamuriwa zinazofanya kazi kwa mzunguko — wazo lile lile lililoivumbuliwa upya kama kifonolojia cha mzunguko katika miaka ya 1970.
- Mofolojia ya kitenzi. Kitenzi cha Kisanskrit kinaweza kuwa na takriban fomu 2,000 zilizopinda. Pāṇini anashughulikia hili kwa orodha yenye mwisho ya shina, sheria mia chache za viambishi, na kanuni ya kuamuru (tripādī) hivi kwamba sheria za baadaye huzuia za awali — kutangulia "Elsewhere Conditions" katika mofolojia ya kisasa.
- Nadharia ya Kāraka. Pāṇini anachambua vitenzi si kwa maneno ya "sawa" na "kitu" bali kwa maneno ya kārakas — majukumu ya kisemantiki kama vile mtenda (kartṛ), mtendewa (karman), chombo (karaṇa), mpokeaji (sampradāna), chanzo (apādāna), na mahali (adhikaraṇa). Hii kimsingi ni nadharia ya jukumu la kithematiki (Charles Fillmore's "case grammar", 1968), miaka 2,400 mapema.
Ushawishi wa Pāṇini ni wa moja kwa moja, na si tu wa kimafumbo. Leonard Bloomfield (1887–1949), mmoja wa waanzilishi wa isimu ya kimuundo ya Marekani, aliandika insha yake ya 1927 "Juu ya Baadhi ya Sheria za Pāṇini" kwa sehemu kuingiza utaratibu wa sheria wa kipāṇini katika nadharia ya kisarufi ya Magharibi. Mwanachuoni wa Kiholanzi wa masomo ya Kihindi Frits Staal alidai katika makala "Euclid and Pāṇini" (1965) kwamba sarufi ya Pāṇini ni mfumo rasmi wa daraja lile lile la jiometri ya Euclid; miaka miwili baadaye mwanasayansi wa kompyuta Peter Zilahy Ingerman, katika barua kwa Communications of the ACM, alipendekeza kubadilisha jina la muundo wa kawaida wa Backus kuwa "muundo wa Pāṇini-Backus" kwa heshima ya Pāṇini. Mwanasayansi wa kompyuta wa Kimarekani-Mhindi Rick Briggs, akifanya kazi NASA Ames katika miaka ya 1980, alipendekeza uwakilishi wa namna ya Kisanskrit ya kāraka kama lugha ya katikati ya asili kwa uwakilishi wa maarifa wa AI. Na katika utangulizi wa Aspects of the Theory of Syntax yake ya 1965, Noam Chomsky alikiri kwamba "hata sarufi ya Pāṇini inaweza kufasiriwa kama kipande cha 'sarufi zalishi' ya aina hiyo, kwa maana ya leo ya neno hili".
"Sarufi ya maelezo ya Kisanskrit, ambayo Pāṇini aliifikisha kilele cha ukamilifu, ni mojawapo ya makumbusho makubwa zaidi ya akili ya binadamu." — Leonard Bloomfield, uhakiki wa Konkordanz Pāṇini-Candra ya Liebich, Language 5 (1929)
Kisanskrit chenyewe (saṃskṛta-, "iliyong'arishwa, iliyoboreshwa") ilikuwa tayari kawaida ya kifasihi na ya kisherehe, si lugha ya kawaida, kufikia siku za Pāṇini. Baada yake ikawa, kwa kawaida, kile Pāṇini alichosema ilikuwa: lugha ambayo kila sentensi yake iliyoundwa vizuri inaweza, kwa kanuni, kutoa kutoka kwa sūtras zake 4,000. Miaka elfu mbili na nusu baadaye, hicho pia ndio hasa tunachoomba kutoka kwa parser. Aṣṭādhyāyī haikuelezea tu Kisanskrit. Ilisukuma wazo la maelezo ya kizalishaji na ya kifomu ya lugha hadi kiwango cha usahihi ambacho hakikuwa na mfano wake katika kale — na ambacho hakijapata mlinganishi, inaweza kusemwa, hadi isimu ya kifomu ya karne ya 20 ilipogundua tena mawazo hayohayo kwa kujitegemea.