OSCAR ANDRES RAMIREZ AMAYA MARCO AURELIO MARQUEZ LUNA

DEFINICION
La gramtica es el estudio de las reglas y principios que

gobiernan el uso de las lenguas y la organizacin de las palabras dentro de unas oraciones y otro tipo de constituyentes sintcticos. Tambin se denomina as al conjunto de reglas y principios que gobiernan el uso de una lengua concreta determinada; as, cada lengua tiene su propia gramtica.

TEORIA GENERAL DE SHOMSKY

Introduce la llamada Gramtica generativa y

transformacional. Se pretende hacer un vuelco a los estudios lingsticos tratando de llevarlos a su mayor rigor cientfico, se propone la aplicacin del hipottico-deductivo

PRINCIPIOS
1. Chomsky plantea los concepto de competencia

lingstica y actuacin lingstica. Competencia lingstica: conocimiento intuitivo que cada hablante-oyente nativo adulto y normal tiene de su lengua. Actuacin lingstica: comprende el uso individual de la lengua. 2. Chomsky en la oracin distingue dos estructuras: Estructura profunda: se hace evidente la presencia de tres preposiciones. Estructura superficial: son presentadas en una sola oracin.

REGLAS DE RAMIFICACION
ESTRCTURA BSICA:

Describe la estructura profunda. La representacin de una estructura de frase suele hacerse en forma de rbol, ejemplo: El profesor piensa comprar el libro ESTRUCTURA SUPERFICIAL: Es el resultado de aplicar la estructura profunda, suprimiendo la parte correspondiente a O (proposicin)

REGLAS DE TRANFORMACION
SUSTITUCIN: cambio de un elemento por otro.
ELISIN: Supresin de elementos. ADICIN: Agregacin de elementos.

EXTRAPOSICIN: Cambio de orden de algn

elemento.

GRAMATICAS FORMALES
Una gramtica formal es una estructura matemtica

con un conjunto de reglas de formacin que definen las cadenas de caracteres admisibles en un determinado lenguaje formal o lengua natural. Las gramticas formales aparecen en varios contextos diferentes: la lgica matemtica, las ciencias de la computacin y la lingstica terica

GRAMATICAS REGULARES

 En informtica una gramtica regular es una gramtica formal (N, , P, S) que puede ser clasificada como regular izquierda o regular derecha. Las gramticas regulares slo pueden generar a los lenguajes regulares de manera similar a los autmatas finitos y las expresiones regulares.
Dos gramticas regulares que generan el mismo lenguaje regular se

denominan equivalentes. Toda gramtica regular es una gramtica libre de contexto.

Una gramtica regular derecha es aquella cuyas reglas de produccin P son de la siguiente forma:

A a, donde A es un smbolo no-terminal en N y a uno terminal en A aB, donde A y B pertenecen a N y a pertenece a A , donde A pertenece a N. siguiente forma:

Anlogamente, en una gramtica regular izquierda, las reglas son de la

A a, donde A es un smbolo no-terminal en N y a uno terminal en A Ba, donde A y B pertenecen a N y a pertenece a A , donde A pertenece a N.

LIBRES DE CONTEXTO O TIPO 2

 En lingstica e informtica, una gramtica libre de contexto (o de

contexto libre) es una gramtica formal en la que cada regla de produccin es de la forma: Vw Donde V es un smbolo no terminal y w es una cadena de terminales y/o no terminales. El trmino libre de contexto se refiere al hecho de que el no terminal V puede siempre ser sustituido por w sin tener en cuenta el contexto en el que ocurra. Un lenguaje formal es libre de contexto si hay una gramtica libre de contexto que lo genera.
Las gramticas libres de contexto permiten describir la mayora de los

lenguajes de programacin, de hecho, la sintaxis de la mayora de lenguajes de programacin est definida mediante gramticas libres de contexto. Por otro lado, estas gramticas son suficientemente simples como para permitir el diseo de eficientes algoritmos de anlisis sintctico que, para una cadena de caracteres dada determinen cmo puede ser generada desde la gramtica. Los analizadores LL y LR tratan restringidos subconjuntos de gramticas libres de contexto. libres de contexto es la forma Backus-Naur.

La notacin ms frecuentemente utilizada para expresar gramticas

GRAMATICAS SENCIBLES AL CONTEXTO O TIPO 1

 Una gramtica sensible al contexto es una gramtica formal

G = (N, , P, S) tal que todas las producciones P son de la forma: A con A en N y y en (N U )* y en (N U )+, con la posibilidad de la regla lambda S con , la cadena vaca.

Se lo llama sensible al contexto porque y determinan la

forma que debe tener una cadena que puede ser reemplazada por alguna de las producciones. Una lenguaje formal que puede ser descripto para una gramtica sensible al contexto se llama lenguaje sensible al contexto

GRAMATICAS DE TIPO 0

 Lenguajes Recursivamente Enumerables (de tipo 0)

Las gramticas que generan estos lenguajes pueden

tener reglas compresoras. Las reglas de produccin son de la siguiente forma: