Clasificación de lenguajes formales de chomsky.

CLASIFICACIÓN DE LENGUAJES FORMALES DE CHOMSKY.

Noam Chomsky

Lingüista estadounidense nacido en 1928, profesor del Instituto de Tecnología de Massachussets (MIT). Aparte de como lingüista y profesor universitario, es muy conocido por su faceta de intelectual y crítico activista político.

Chomsky ha publicado más de 70 libros y más de 1000 artículos sobre diversos temascomo lingüística, filosofía y política. Muchos no dudan en calificarle como uno de los personajes más destacados del siglo XX. Como no podía ser de otra manera, Internet muestra la relevancia de este personaje: existen numerosas páginas relacionadas con Noam Chomsky.

Desde niño comenzó a desarrollar su afición por la política: el primer artículo que publicó a los 11 años en el periódico delcolegio trataba de la Guerra Civil Española. Desde muy joven estuvo vinculado a movimientos políticos de izquierdas cercanos al marxismo, a pesar de que él procedía de una familia judía de clase media-alta. Actualmente se define a sí mismo como “socialista liberal”.

Chomsky siempre se ha mostrado especialmente beligerante con la política exterior de Estados Unidos, jugando un importantepapel en las protestas contra la guerra de Vietnam en los 60’s. Asimismo ha denunciado y criticado los crímenes cometidos en Centroamérica por regímenes dictatoriales apoyados por EEUU, , la actitud norteamericana en Oriente Medio apoyando la línea dura de los israelíes, la intervención militar en la Guerra del Golfo y en general la política exterior del mundo occidental. Lamentablemente y comoconsecuencia de los trágicos sucesos del 11 de septiembre, el conflicto está ahora más que nunca de actualidad. Al final de este texto, he incluido un par de enlaces a entrevistas con Chomsky después de los ataques terroristas.

Su actitud política ha hecho de él una figura de inspiración para algunos movimientos de izquierdas, y un enemigo para muchos otros. Especialmente negativa es surelación con la prensa estadounidense, a la que siempre ha acusado de enmascarar las acciones del gobierno de forma subjetiva y de justificar masacres en otros lugares del mundo en nombre de la justicia y de los valores democráticos.

Centrándonos ya en el tema que más nos incumbe como estudiantes de informática, hay que señalar que su aportación a la ciencia de la Computación ha sido muysignificativa. 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 terminan en una variedad de combinaciones sintácticas al aplicar una serie de reglas.

Gramáticas 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. Una derivación es una secuencia de aplicaciones de reglas.
Cada gramática define el lenguaje formal de todas las sentencias que están formadas exclusivamentepor los símbolos terminales a los que se puede llegar mediante derivación a partir del símbolo inicial.
✓ Ejemplo 1: Gramática con terminales {a, b}, no terminales {S,A,B} y las siguientes reglas de producción, y símbolo inicial S.
1. (
2. ( ( (siendo ( el símbolo vacío)
3. (
4. ( b
5. b ( bb
6. b ( ab
7.a ( aa
Esta gramática define todas las palabras de la forma anbn. Veamos dos ejemplos (siempre partiendo del símbolo inicial S). Entre paréntesis se indica la regla de producción utilizada.
➢ ( (1)
( b (4)
b ( ab (6)
➢ ( (1)
( (1)
( (3)
( b (4)...