Diferencia entre revisiones de «Gramática formal»
Revertidos los cambios de 189.236.218.176 a la última edición de GrouchoBot usando monobook-suite |
|||
Línea 46: | Línea 46: | ||
Aplicando las jerarquías y sustituyendo elementos, llegamos al punto en donde todas las categorías sintácticas se han convertido en palabras, obteniendo por tanto una oración válida; como por ejemplo: ''El niño corre''. Este proceso se llama producción o generación. |
Aplicando las jerarquías y sustituyendo elementos, llegamos al punto en donde todas las categorías sintácticas se han convertido en palabras, obteniendo por tanto una oración válida; como por ejemplo: ''El niño corre''. Este proceso se llama producción o generación. |
||
UN EJEMPLO GRANDE LO DIO EL FISICO ASTRONOMO EDGAR ANTONIO ESPINOZA GORDILLO EN EL LIBRO MATEMATICAS SIMPLE CAPITULO 10. EN EL CUAL DA EXPLICASIONES DEL TEMA |
|||
== Elementos constituyentes == |
== Elementos constituyentes == |
Revisión del 17:29 11 feb 2010
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Entidades_sint%C3%A1cticas_2.svg/230px-Entidades_sint%C3%A1cticas_2.svg.png)
Una gramática formal es un objeto o modelo matemático que permite especificar un lenguaje o lengua, es decir, es el conjunto de reglas capaces de generar todas las posibilidades combinatorias de ese lenguaje, ya sea éste un lenguaje formal o un lenguaje natural.
Introducción
La expresión «gramática formal» tiene dos sentidos:
- gramática de un lenguaje formal.
- descripción formal de parte de la gramática de un lenguaje natural.
Cuando nos referimos a lenguaje natural estas reglas combinatorias reciben el nombre de sintaxis, y son inconscientes.
Hay distintos tipos de gramáticas formales que generan lenguajes formales (véase la Jerarquía de Chomsky). Imaginemos una gramática con estas dos reglas:
1. A → bAc 2. A → de
La idea es sustituir el símbolo inicial de la izquierda por otros símbolos aplicando las reglas. El lenguaje al cual representa esta gramática es el conjunto de cadenas de símbolos que pueden ser generados de esta manera: en este caso, por ejemplo:
A → bAc → bbAcc → bbbAccc → bbbdeccc.
El elemento en mayúsculas es el símbolo inicial. Los elementos en minúsculas son símbolos terminales. Las cadenas de la lengua son aquellas que solo contienen elementos terminales, como por ejemplo:
bbbdeccc, de, bdec, ... Estas serían tres posibles realizaciones del lenguaje cuya gramática hemos definido con dos reglas.
Para comprender mejor el concepto pondremos algunas reglas de la gramática castellana:
- Una FRASE se puede componer de SUJETO + PREDICADO
- Un SUJETO se puede componer de un ARTÍCULO + NOMBRE o SUSTANTIVO (núcleo) + Complementos
- Un PREDICADO se puede componer de un VERBO conjugado
- Un ARTICULO puede ser la palabra "el"
- Un NOMBRE o SUBSTANTIVO puede ser "niño"
- etc. [Véase Reglas de rescritura]
Vemos que existen unas definiciones especiales como FRASE, SUJETO, etc. que no aparecen en la frase final formada. Son unas entidades abstractas denominadas Categorías Sintácticas que no son utilizables en una frase.
Las categorías sintácticas definen la estructura del lenguaje representando porciones más o menos grandes de las frases. Existe una jerarquía interna entre las categorías sintácticas.
La categoría superior sería la FRASE que representa una oración válida en lengua castellana.
Por debajo de ella se encuentran sus componentes. Ninguna de estas categorías dan lugar a frases válidas solo la categoría superior.
Al finalizar toda la jerarquía llegamos a las palabras que son las unidades mínimas con significado que puede adoptar una frase.
Aplicando las jerarquías y sustituyendo elementos, llegamos al punto en donde todas las categorías sintácticas se han convertido en palabras, obteniendo por tanto una oración válida; como por ejemplo: El niño corre. Este proceso se llama producción o generación.
Elementos constituyentes
- Una gramática formal es un modelo matemático compuesto por una serie de categorías sintácticas que se combinan entre sí por medio de unas reglas sintácticas que definen cómo se crea una categoría sintáctica por medio de otras o símbolos de la gramática.
- Existe una única categoría superior que denota cadenas completas y válidas.
Mecanismos de especificación
- Por medio de estos elementos constituyentes se define un mecanismo de especificación consistente en repetir el mecanismo de sustitución de una categoría por sus constituyentes en función de las reglas comenzando por la categoría superior y finalizando cuando la oración ya no contiene ninguna categoría.
De esta forma, la gramática puede generar o producir cada una de las cadenas del lenguaje correspondiente y solo estas cadenas.
Definición formal
En la definición clásica que dio Noam Chomsky en la década de 1950, una gramática formal es una cuádrupla G = (N,T,S,P) donde:
- N es un conjunto finito de símbolos no terminales (variables).
- T es un conjunto finito de símbolos terminales (constantes), disjunto con N.
- S es un símbolo distinguido de N, el símbolo inicial.
- P es un conjunto finito de reglas de producción, cada una de la forma:
donde * es la clausura de Kleene. Esto es, cada regla de producción mapea de una cadena de símbolos a otra, donde la primera cadena contiene al menos un símbolo no terminal. En el caso de que la segunda cadena sea la cadena vacía, para evitar confusión se la denota con una notación especial (usualmente , o ).
El alfabeto de la gramática es entonces el conjunto
Derivaciones
Sea una gramática, y sean α, β, δ, φ, ρ, ... palabras de . Entonces
- β se deriva de α en un paso de derivación, y lo denotamos con α β si existen dos cadenas , y una producción δ → ρ tales que α = δ , y β = ρ
- Notamos con al cierre reflexivo y transitivo de . Es decir α β denota a una secuencia de derivaciones en un número finito de pasos desde α hasta β.
- es una forma sentencial de , si puede obtenerse la siguiente secuencia de derivaciones . En el caso particular de que se dice que x es una sentencia
- Se denomina lenguaje formal generado por G al conjunto