Tipos De Lenguajes

TIPOS DE LENGUAJES
JERARQUIA DE CHOMSKY



2011
Fernando Ledesma Perez
ESCUELA POLITECNICA NACIONAL
25/05/2011
TIPOS DE LENGUAJES
JERARQUIA DE CHOMSKY



2011
Fernando Ledesma Perez
ESCUELA POLITECNICA NACIONAL
25/05/2011

1. INTRODUCION:

En este trabajo voy a empezar explicado desde mi punto de vista que es una gramática generativa para poder explicar lostipos de gramáticas existentes (de 0 a 3).
También explicare sus reglas de producción y su estado actual de implantación en esto me refiero en que diferentes ámbitos se utilizan como fábricas, en robótica etc.
Y acabare dando unas conclusiones de lo entendido en el trabajo.

2. Gramática generativa

Para poder definir este apartado empezare con una pequeña introducción acerca de NoamChomsky:
Lingüista estadounidense nacido en 1928, profesor del Instituto de Tecnología de Massachusetts (MIT). Aparte de como lingüista y profesor universitario, es muy conocido por su faceta de intelectual y crítico activista político.
Pero centrándome más en el tema que me incumbe como estudiante de sistemas, hay que señalar que su aportación a la ciencia de la Computación ha sido muy importante.Se le considerada el fundador de la Gramática generativa transformacional. Sus análisis del lenguaje parten de las oraciones básicas que se desarrollan y se combinan aplicando una serie de reglas sintácticas.
Esto quiere decir que a partir de unas proposiciones simples se puede generar unas más compuesta pero siempre respetando una serie de reglas.
La gramática generativa transformacionalayudo o sirvió de base a la creación de PNL (programación neurolingüística)
La meta de Chomsky al crear la gramática generativa transformacional fue lograr una explicación de porqué el ser humano de forma inconsciente e intuitivamente puede entender y hablar un determinado lenguaje, esta gramática está formada por la correcta formación de las palabras, de una estructura consistente y diversos tiposde relaciones de palabras con reglas para su entendimiento; todo esto nos ayuda a entendernos mutuamente y el uso que se le podría dar en teoría es el de hablar en castellano con la computadora como en un chat, pero la cantidad de información y de procesamiento lo hacen muy difícil, pero si no centráramos en un tema específico podría ser factible ya que al utilizar el modelo de Chomskypodríamos hacer que una computadora se comportara como un ser humano a través de las indicaciones del apartado siguiente.

3. GRAMATICAS FORMALES

Una gramática formal consta de un conjunto finito de símbolos terminales (las palabras en un lenguaje formal), un conjunto finito de símbolos no terminales, un conjunto de reglas de producción con un lado izquierdo y otro derecho, y un símbolo inicial.Las reglas se aplican sustituyendo la parte de la izquierda por la parte de la derecha.
Cada gramática define el lenguaje formal de todas las sentencias que están formadas exclusivamente por los símbolos terminales a los que se puede llegar mediante derivación a partir del símbolo inicial. (Una derivación es una serie de aplicaciones de reglas, ósea a partir de un símbolo inicial podemosllegar aplicando una serie de reglas a símbolos terminales).

4.1. TIPOS DE GRAMATICAS

* Gramáticas tipo 0: (sin restricciones)
Incluyen todas las gramáticas formales. Generan todos los lenguajes que pueden ser reconocidos por una máquina de Turing (La máquina de Turíng es un modelo matemático abstracto que formaliza el concepto de algoritmo, esta máquina recibe las ordenas que se lequiera dar por medio de tarjetas, por su lado izquierdo y da los resultados por el derecho).
Es el utilizado por el ser humano.
* Gramáticas tipo 1: (dependen del contexto )
Generan los lenguajes dependientes de contexto. Sus reglas de producción son:
α A B → α γ β
A: es un no terminal.
α , β, γ : Son cadenas terminales y no terminales.
α y β pueden ser vacíos pero γ ha de ser...