P. 1
TIPOS DE GRAMATICAS[1]

TIPOS DE GRAMATICAS[1]

4.38

|Views: 11.689|Likes:
Publicado poraztek_emperor
Informacion de Tipos de Gramaticas para Teoria de las computadoras
Informacion de Tipos de Gramaticas para Teoria de las computadoras

More info:

Published by: aztek_emperor on Apr 30, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

05/09/2014

pdf

text

original

TIPOS DE GRAMATICAS JERARQUIAS DE CHOMSKY INTRODUCCIÓN:Para el estudio de este tema es necesario analizar dos tipos de gramáticas de la clasificación

de Chomsky, las regulares y las independientes de contexto, las reglas permitidas y no permitidas. Tener un conocimiento amplio de las gramáticas y el lenguaje que se emplea en cada una de ellas, es una herramienta mas para la realización de los analizadores. CONTENIDO En 1959 Noam Chomsky clasifico las gramáticas en cuatro familias. Las gramáticas no restringidas, sensibles al contexto, independientes del contexto y las gramáticas regulares que se conocen como gramáticas de tipo cero, uno, dos y tres respectivamente. Los lenguajes que resultan de dichas gramáticas también se identifican con lenguajes de tipo cero, uno, dos y tres. A esta jerarquía de lenguaje se le conoce como la jerarquía de chomsky.

GRAMATICA Regular Independiente del contexto Sensible al contexto Tipo no restringido

TIPO 3 2 1 0

LENGUAJE QUE GENERA Lenguaje tipo 3 o lenguaje regular Lenguaje de tipo 2 o lenguaje independiente al contexto Lenguaje tipo 1 lenguaje sensible al contexto. Tipo cero lenguaje no restringido.

Gramática Regular: Es aquella gramática cuyas reglas de reescritura tienen las siguientes restricciones: 1.- El lado izquierdo de cualquier regla de reescritura debe consistir en un solo no terminal, el lado derecho debe ser un terminal seguido por un no terminal, o un solo terminal o la cadena vacía

Ejemplo:

Z X X

yX y

Las siguientes regla de reescritura no estarían permitidas en una gramática regular. Ejemplo: yW X X xZy YX WvZ

En una gramática regular cualquier regla de la forma N reglas siguientes: N X xX

x podría remplazarse con el par de

Donde X es un no terminal que no aparece en ningún otro lugar de la gramática, sin alterar el conjunto de cadenas que podría generar la gramática. N xX x =x

LA IMPORTANCIA DE LAS GRAMÁTICAS REGULARES RESIDE EN QUE LOS LENGUAJES GENERADOS POR ELLAS SON EXACTAMENTE AQUELLOS QUE RECONOCEN LOS AUTÓMATAS FINITOS. NOTA: se interpreta como "puede ser", "se compone de", "es sustituida por". \ se interpreta como "o" ejemplo: E AyE B se unen en E A\B.

se interpreta como "derivar", "produce" o "genera". GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO. A diferencia de las gramáticas regulares, estas gramáticas no tienen restricciones con respecto a la forma del lado derecho de sus reglas de reescritura aunque aun se requiere que el lado izquierdo de cada regla sea un no terminal. La siguiente es una gramática independiente del contexto, pero no es regular. S M M N N zMNz aMa z bNb z

El termino independiente del contexto refleja que, como el lado izquierdo de cada regla de reescritura únicamente puede contener un solo no terminal la regla puede aplicarse sin importar el contexto donde se encuentre dicho no terminal. Al igual que las gramáticas regulares, las independientes del contexto (G.I.C.) generan cadenas por medio de derivaciones. En el caso de las G.I.C. pueden surgir dudas con respecto a cual será el no terminal que deberá reemplazarse en un paso especifico de la derivación. Por ejemplo al generar una cadena con la gramática anterior en el primer paso produce la cadena zMNz que representa la opción de reemplazar el no terminal M o el N en el siguiente paso. Por consiguiente, para generar la cadena zazabzbz se podría producir la siguiente derivación zazababa (por la izquierda). S zMNz zaMaNz zazaNz zazabNbz zazabzbz

Siguiendo la regla rutinaria de aplicar siempre una regla de reescritura al no terminal mas a la izquierda en la cadena actual, a esto se le llama derivación por la izquierda. También podría producirse la siguiente derivación zazabzbz (por la derecha) S zMNz zMbNbz zMbzbz zaMabzbz zazabzbz

Aplicando siempre al regla de reescritura al no terminal situado mas a la derecha, lo cual daría como resultado una derivación por la derecha. Incluso se podrían seguir otros patrones y obtener otras derivaciones de la misma cadena. ACTIVIDADES OBLIGATORIAS

1. Mediante la siguiente gramática, derivar
S aE E A E B A b A Aa B b\ bB 2. a) ab 3. b) ab3 4. c) aa3b 5. d ) ¿es posible derivar abab? 6. Derivar a) abaa y b) aaabaa. S aS S bT T aT T 7. Dada la siguiente gramática derive baab, bbba, abab S A bA aA\b\

ACTIVIDADES SUGERIDAS

1. Dada la siguiente gramática derive xyz, yzrr, yyzr S xT S yT T yU U zW W rX X w

1. Muestre que es posible modificar la gramática que se presenta a continuación (con
símbolo inicial S) para formar una gramática regular, sin cambiar el lenguaje que se genera. Compruebe el resultado derivando la cadena yxxy con ambas gramaticas. S X X Y yX xxX yY 1. Convierta la siguiente gramática regular en otra gramática regular que no contenga reglas de reescritura cuyos lados derechos consistan en un solo terminal pero a la vez genere el mismo lenguaje. Compruebe el resultado derivando la cadena xy o xz con ambas gramáticas. S S S S xS y z

TIPOS DE GRAMATICAS Los “Lengua jes Regulares”, que es la clase m´na, e incluye a los lenguajes m´ as peque˜as simples. 10 Un ejemplo de lenguaje regular es el conjunto de todos los n´ umero binarios. Los “Lengua jes Libres de Contexto”, que incluyen a los Lengua jes Regulares. Por ejemplo, la mayor´ia de los lengua jes de programaci´ on son Lengua jes Libres de Contexto. Los “Lengua jes Recursivamente Enumerables”, que incluyen a los Libres de Contexto (y por lo tanto a los Lengua jes Regulares).

Todas estas clases de lengua jes son representables de manera finita (mediante cadenas on ). Ahora bien, como veremos m´ de caracteres que sirven como representaci´as adelante, 8Debe quedar claro que la descripci´ on de L* en este ejemplo no es formal, pues los “. . . ” dejan abierta la puerta a muchas imprecision es. 9Claro que este proceso no terminar´ia nunca, pues L* es infinito para cualquier L que tenga al menos un elemento. 10Luego veremos en qu´e sentido son m´ as simples que las otras clases de lenguajes.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->