パーニニ
またたとえば、こんにちの言語学における理論のひとつ、「最適性理論」は "パーニニの制約順位定理" としても知られている。パーニニの文法理論はサンスクリット以外の言語にも工夫されてきた。パーニニの言語研究を、形式言語の理論や形式文法の先駆けであると考え、さらにはコンピュータ科学の魁であったと考える向きもある。彼が用いた手法は、こんにちの形式的な手法における、メタ規則、(数学における)変換、再帰といったものに似ている。他には、プログラミング言語の構文を記述するために用いられるバッカス・ナウア記法(BNF)もパーニニによる言語研究との類似がある(というよりも、BNFが句構造規則のうちの単純なもの(文脈自由文法)に特化した記法であり、また、パーニニの研究が句構造文法的であった、というように捉えるのが正当な捉え方であろう)。19世紀のフレーゲとそれに続く数理論理学の発展以前、パーニニの文法が世界最古の形式体系と考えることもできるだろう。
パーニニ(IAST: Pāṇini, デーヴァナーガリー: पाणिनि; "パーニの子孫"の意)は、紀元前4世紀頃のインドの文法学者である。ガンダーラ(現在のパキスタン)出身。
パーニニはサンスクリット文法学者であり、ヴェーダの補助学(ヴェーダーンガ)のひとつとして生まれた文法学(ヴィヤーカラナ)の体系を確立した。パーニニはアシュターディヤーイー(अष्टाध्यायी、「八つの章」の意。『パーニニ文典』とも呼ぶ)として知られる文法体系の中でサンスクリットの形態論を3959個の規則にまとめたことで名高い。
アシュターディヤーイーは母音子音の文字表から語根からの語幹の派生法や複合語の分類及び品詞の活用などについて略記号を用いて古典サンスクリット語文法について詳解している。アシュターディヤーイーはサンスクリット文法についての最古のもののひとつとされているが、パーニニ自身はさらに古い3つの書(ウナーディスートラ、ダートゥパータ、ガナパータ)について言及している。アシュターディヤーイーは共時的言語学、生成言語学としての最古の研究として知られ、またそれとほぼ同じころの、ニルクタ(語源学)、ニガントゥ(類語辞典のようなもの)、シクシャー(音声学、音韻論)とともに言語学の歴史(英語版)の始まりに位置する。
パーニニによる、広範囲かつ科学的な文法理論は、伝統的に続いて来たヴェーダ語の終わりを記しづけ、同時に今日までに至るサンスクリットの始まりを告げるものである。
2004年8月30日月曜日、インドの郵政省はパーニニをたたえる5ルピーの切手を発行した。