Elementos de un diagrama sintáctico

Los puntos más importantes son los siguientes: 

A))

En los modelos simbólicos se utiliza una metalengua para hablar de la realidad, Que consiste en un conjunto de especificaciones para escribir gramáticas. Como Toda metalengua, sirve para fijar un conjunto de convenciones que beneficia la Comunicación de ideas entre los miembros de la comunidad científica.

B))

Los símbolos como representación del conocimiento: se basa en la Teoría de Modelos, que trata los símbolos como mecanismos de representación. Desde Esta perspectiva, un modelo es un conjunto de entidades en un mundo posible y Las proposiciones acerca del modelo son ciertas o falsas en función de las Propiedades de las entidades del modelo.

C))

Autonomía de la sintaxis frente a la semántica: un sistema formal consta de una Sintaxis (donde se determinan las condiciones de buena formación) y una Semántica (donde se interpreta el significado de las expresiones bien formadas). En un sistema logicista extremo, el análisis sintáctico de una oración se puede Entender como la conclusión (o derivación) a la que se ha llegado a partir de Unas premisas (las reglas de la gramática)
. Destaca el hecho de que en los Sistemas formales no se determina la validez o falsedad de las premisas, que Dependerá del modelo del mundo. Lo carácterístico de este método es que se Concentra en la forma o estructura y eso ha favorecido un enorme avance en Sintaxis en las últimas décadas.   

Podemos decir que una gramática formal es una especificación rigurosa y explícita de la estructura de una Lengua. De manera que, se utiliza el adjetivo formal en el sentido de formalizado. Las Gramáticas formales E, como el español o el Japónés. Las lenguas artificiales son muy Valiosas para la descripción científica. Parece una cuestión aceptada que el contenido conceptual de cualquier ciencia puede Ser expresado en un sistema formal. Su utilidad se debe a una serie de factores:

 1

Están bien definidas: el rasgo más destacado de las gramáticas formales es la Ausencia de ambigüedad. Todo sistema formal debe establecer una relación Inequívoca entre su sintaxis y su semántica.
2. Son rigurosos: esto reduce los malentendidos y las disputas interpretativas, al Tiempo que exigen una explicitud y claridad por parte del científico.
3. Facilitan la evaluación de las hipótesis: la estructura lógica de los sistemas Formales permite comprobar la consistencia de las conclusiones.
4. Permiten hacer predicciones: análogamente, las conclusiones válidas basadas en Premisas verdaderas pueden generalizarse. A su vez, la predicción es un Procedimiento para comprobar la validez empírica de la hipótesis. En el caso de Las gramáticas formales se puede predecir la gramaticalidad o no de una oración.
5. Posibilitan el desarrollo de aplicaciones: cuando el conocimiento formalizado ha Sido contrastado empíricamente, se puede emplear para crear tecnología que Resuelva problemas concretos. Los sistemas de PLN son un ejemplo. 

.

Tipos de gramáticas formales

Las gramáticas formales más conocidas y utilizadas son las gramáticas generativas, Propuestas por Chomsky a finales de los años 50.En su acepción más amplia, gramática generativa es cualquier Gramática que defina precisa y explícitamente las oraciones de una lengua. 

 No obstante, hay otros tipos De gramáticas . Estas son: gramáticas categoriales, gramáticas de dependencias, gramáticas Sistémicas, gramáticas de cadenas lingüísticas y gramáticas de adjunción de árboles.  

 Nos centraremos exclusivamente en las gramáticas generativas. Estas son también conocidas como gramáticas de estructura de frase o Sintagmáticas: incluyen las de estados finitos, las transformacionales y las gramáticas de Unificación.  Están constituidas por un conjunto de reglas generativas (o derivativas) que conceden explícitamente la estructura interna de las oraciones.   

 Dichas reglas, llamadas de Reescritura, operan sobre dos conjuntos de elementos: no terminales y terminales. Tienen la forma: α -> β