Is grammar that old?

[anhinga_anhinga]

http://en.wikipedia.org/wiki/Panini

"Panini was an ancient Indian grammarian (c. 520–460 BC, but estimates range from the 7th to 4th centuries BC) who lived in Gandhara and is most famous for his grammar of Sanskrit, particularly for his formulation of the 3,959 rules of Sanskrit morphology in the text Ashtadhyayi."

"Panini uses metarules, transformations, and recursions with such sophistication that his grammar has the computing power equivalent to a Turing machine."

Comments

[spamsink.livejournal.com]

I knew about Panini for a while, but the power of his grammar is new to me.
"Panini-Backus form"! Cool!

[writer00.livejournal.com]

A panini is also a roll with a slice of meat and cheese . . . in Italy.

[anhinga-anhinga.livejournal.com]

sure :-)

[misha-b.livejournal.com]

Yes, that's correct :)

[faceless-lady.livejournal.com]

"Panini uses metarules, transformations, and recursions with such sophistication that his grammar has the computing power equivalent to a Turing machine."

вот это несколько....туманно.
А как ты это понял?

[anhinga-anhinga.livejournal.com]

наверное, они оттуда извлекли систему правил переписывания строк, которая полна по Тьюрингу.. трудно сказать, насколько это важно (хотя это показывает, что у него было что-то посильнее контекстно-свободных грамматик)..

надо сказать, бывают поразительно простые переписывающие системы, с полной силой машин Тьюринга, например S, K are constant terms, if X, Y are terms, (X Y) is a term, (X Y Z) means ((X Y) Z), and transformations are (K x y) -> x; (S x y z) -> (x z (y z)) ..

так что я не знаю, так ли уж это важно..

[faceless-lady.livejournal.com]

уй! (свалился под стул в изумлении..)..ладно, не пристаю больше.

[ygam.livejournal.com]

Aho Sethi Ullman упоминают Панини.