Jerarquia de chomsky

Jerarquía de Chomsky Roberto Daniel Pantoja Tovar David del Ángel Rodríguez Karen Ramírez Rodriguez

Introducción
En lingüística la jerarquía de Chomsky es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales. Esta jerarquía fue descrita por Noam Chomsky en 1956.

Expresiones regulares
Una expresión regular, a menudo llamada también patrón, es una expresión que describe un conjunto de cadenas sin enumerar sus elementos
Para poder realizar expresiones regulares debemos tomar en cuenta esto:
Sea S y R símbolos cualquiera
1. entonces R y/o S son expresiones regulares
2. R*S=RS es una expresión regular
3. (R) es una expresión regular
4. nulo (vacío) es una expresión regular
5. R*=a que R puede repetirse 0 muchas veces
6. R+=R(R*) R se repite 1 o más veces
7. R?=R o vacío quiere decir que R puede venir 1 vez o no venir nunca

Ejemplos :
Supongamos que se desea generar una expresión regulara que reconozca un numero de cédula
La solución seria
Formato de no. De cedula =A1-12354544
Expresión regular que reconoce éste tipo de información
LD-DD*
Donde
L representa al conjunto de todas las letras del alfabeto
D representa el conjunto de todos los decimales
Ejemplo2
Supongamos que se desea generar una expresión regular que reconozca números decimales
DD*.DD*
Aquí decimos que puede venir un digito (D) seguido de otro digito que puede venir 0 o muchas veces (D*) hágase notar que el (.) que se encuentra no es de concatenación sino que es el punto decimal, después de esto viene otro digito (D) obligatorio ya que no se acepta 3. ya que no seria un número decimal.

Jerarquía de Chomsky
Clasifico las gramáticas en 4 familias.
Las no restringidas (Tipo 0)
Sensibles al contexto (Tipo 1)
Independientes del contexto (Tipo 2)
Gramáticas Regulares (Tipo 3)

Descripción de los tipos de jerarquías

Tipo3: lenguajes regulares
Estos tipos de lenguajes se resuelven mediante autómatas finitos.
Características
Del lado derecho de cada producción debe empezar con un símbolo terminal
Ejemplo:
Con éste tipo de lenguaje se hacen los scanners

Tipo2: Libres o Independientes de contexto
Estos tipos de lenguajes se resuelven mediante autómatas descendentes
Características
Del lado derecho de cada producción puede empezar con un símbolo terminal o con un no terminal
Los lenguajes regulares también se pueden resolver mediante autómatas descendentes
Ejemplo:
Con éste tipo de lenguaje se programa los parser en un compilador

Tipo1: Sensibles o Dependientes de contexto
Estos tipos de lenguajes se resuelven mediante autómatas lineales limitados
Características
Del lado derecho de cada producción puede empezar con un símbolo terminal o con un no terminal y del lado izquierdo puede empezar con más de un símbolo no terminal.
Restricción
El número de no terminales del lado izquierdo de la producción debe ser menor o igual al número de símbolos del lado derecho
Nota
Los lenguajes regulares y los libres de contexto también se pueden resolver mediante autómatas lineales limitados.

Ejemplo:
Con éste tipo de lenguajes se hacen los parser de un compilador. Un analizador sintáctico (en inglés parser ) es una de las partes de un compilador que transforma su entrada en un árbol de derivación. El análisis sintáctico convierte el texto de entrada en otras estructuras (comúnmente árboles), que son más útiles para el posterior análisis y capturan la jerarquía implícita de la entrada.

Tipo0: Recursivamente enumerable
Estos tipos de lenguajes se resuelven mediante maquinas de Turín
Características
Del lado derecho de cada producción puede empezar con un símbolo terminal o con un no terminal y del lado izquierdo puede empezar con más de un símbolo no terminal.
Restricción
No tiene ninguna restricción solamente que del lado izquierdo debe haber por lo menos un símbolo no terminal
Nota
Todos los demás tipos de lenguajes también se pueden resolver mediante maquinas de Turín

Ejemplo:
Con éste tipo de lenguajes se hacen los parser de un compilador

Jerarquia de chomsky

by David Del Angel Rodriguez on Nov 10, 2010

Accessibility

Upload Details

Usage Rights

1 Embed 7

Statistics

Jerarquia de chomsky Presentation Transcript