El gramático indio-paquistaní, Pāṇini, es considerado por los estudiosos como precursor de los sistemas formales modernos y del lenguaje, pues fue desarrollado 4-5-6 o 7 siglos antes de nuestra era (no hay precisiones cronológicas), antes de Frege y el desarrollo de la lógica moderna.Al diseñar su gramática, Pāṇini usa el método de “símbolos auxiliares” en el cual los nuevos afijos se designan para marcar categorías sintácticas y el control de las derivaciones gramaticales.
Esta técnica, redescubierta por el lógico Emil Post, se convirtió en un método estándar en el diseño de lenguajes de programación. Y esto pese a que para muchos sigue siendo complejo entender la relación entre la gramática y la notación científica o los algoritmos y la notación para computadoras. Lenguajes claros, sin ambigüedades, con fundamentos y estructuras precisas.
Anticipa o converge en el mismo poder expresivo encontrado en los sistemas de control de estado finito.
Para las computadoras u ordenadores los datos son hechos en bruto y figuras que después de la disposición, arroja información significativa. Es decir, los datos en sí no tienen mayor significado salvo cuando se relacionan con otros en complejas bases de datos y se organizan.
Pāṇini emplea varios sutras como bases de datos, orquestando todo un sistema muy interesante y útil.
Si desea contextualizar este trabajo dentro de los lenguajes de programación o la misma historia de la informática, no dude en remitirse a los enlaces compartidos.
This post is also available in: Español