波你尼

波你尼(IAST:;天城文:,意思是“波你人的后代”)是來自古代南亞健馱邏現在巴基斯坦地區的古代梵語文法家。(fl. 公元前4世紀)。

他著名於對梵语语法学的貢獻,特別是在叫做《八篇书》(,意思是“八章”)的文法中對梵語構詞學用 3,959 個規則所做的公式化

诺姆·乔姆斯基總是為他現代概念的生成文法而致敬於波你尼。 在優選理論中,關於在特殊和一般約束之間的關係的假設被稱為“波你尼約束等級定理”。波你尼式文法還被用於非梵語語言。他的著作是現代形式語言理論(計算語言學)和形式文法的先驅,并且是計算的先驅。

波你尼一起使用元規則、變換和遞歸使得他的文法同現代圖靈機一樣嚴格。用來描述現代編程語言的巴科斯-瑙爾范式或 BNF 文法與波你尼文法規則有重大的相似性。波你尼的文法可以被認為是世界上的第一個形式系統,遠在十九世紀弗雷格革新和隨后的數理邏輯發展之前。為了設計他的文法,波你尼使用了“輔助符號”的方法,在其中指定新詞綴來標記語法范疇并控制文法推導。這種技術被邏輯學家 Emil Post 重新發現并且是現在計算機編程語言設計的標準方法。

引用
參考文獻

  • 2000.
  • Prince, Alan and Paul Smolensky (2004): Optimality Theory: Constraint Interaction in Generative Grammar. Oxford: Blackwell.
  • Kadvany, John (2007). Positional Value and Linguistic Recursion. Journal of Indian Philosophy December 2007.
  • T.R.N. Rao. [http://www.infinityfoundation.com/mandala/t_es/t_es_rao-t_syntax.htm Panini-backus form of languages.] 1998.

延伸閱讀

參閱

  • 梵語文法家
  • 耶斯迦
  • Pingala
  • seṭ 和 aniṭ 詞根

外部連結

评论 (0)

  • 还没有评论,来抢沙发吧。