Biografa de Noam Chomsky Lingista y filsofo estadounidense.

Fue introducido en la lingstica por su padre, especializado en lingstica histrica del hebreo. Estudi en la Universidad de Pensilvania, donde se doctor en 1955 con una tesis sobre el anlisis transformacional, elaborada a partir de las teoras de Z. Harris, de quien fue discpulo. Entr entonces a formar parte como docente del Massachusetts Institute of Technology, del que es profesor desde 1961. Es autor de una aportacin fundamental a la lingstica moderna, con la formulacin terica y el desarrollo del concepto de gramtica transformacional, o generativa, cuya principal novedad radica en la distincin de dos niveles diferentes en el anlisis de las oraciones: por un lado, la estructura profunda, conjunto de reglas de gran generalidad a partir de las cuales se genera, mediante una serie de reglas de transformacin, la estructura superficial de la frase. Este mtodo permite dar razn de la identidad estructural profunda entre oraciones superficialmente distintas, como sucede entre el modo activo y el pasivo de una oracin. En el nivel profundo, la persona posee un conocimiento tcito de las estructuras fundamentales de la gramtica, que Chomsky consider en gran medida innato; basndose en la dificultad de explicar la competencia adquirida por los hablantes nativos de una lengua a partir de la experiencia deficitaria recibida de sus padres, consider que la nica forma de entender el aprendizaje de una lengua era postular una serie de estructuras gramaticales innatas las cuales seran comunes, por tanto, a toda la humanidad. En este sentido, podra hablarse de una gramtica universal, a cuya demostracin y desarrollo se han dedicado los numerosos estudios que han partido de las ideas de Chomsky. Aparte de su actividad en el terreno lingstico, ha intervenido a menudo en el poltico, provocando frecuentes polmicas con sus denuncias del imperialismo estadounidense desde el comienzo de la guerra de Vietnam y sus reiteradas crticas al sistema poltico y econmico de Estados Unidos.

Jerarqua de Chomsky En lingstica la jerarqua de Chomsky es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam Chomsky en 1956. La Jerarqua La Jerarqua de Chomsky consta de cuatro niveles:

Gramticas de tipo 0 (sin restricciones), que incluye a todas las gramticas formales. Estas gramticas generan todos los lenguajes capaces de ser reconocidos por una mquina de Turing. Los lenguajes son conocidos como lenguajes recursivamente enumerables. Ntese que esta categora es diferente de la de los lenguajes recursivos, cuya decisin puede ser realizada por una mquina de Turing que se detenga. Gramticas de tipo 1 (gramticas sensibles al contexto) generan los lenguajes sensibles al contexto. Estas gramticas tienen reglas de la forma A -> con A un no terminal y y cadenas de terminales y no terminales. Las cadenas y pueden ser vacas, pero no puede serlo. La regla S -> est permitida si S no aparece en la parte derecha de ninguna regla. Los lenguajes descritos por estas gramticas son exactamente todos aquellos lenguajes reconocidos por una mquina de Turing determinista cuya cinta de memoria est acotada por un cierto nmero entero de veces sobre la longitud de entrada, tambin conocidas como autmatas linealmente acotados.

Gramticas de tipo 2 (gramticas libres del contexto) generan los lenguajes independientes del contexto. Las reglas son de la forma A -> con A un no terminal y una cadena de terminales y no terminales. Estos lenguajes son aquellos que pueden ser reconocidos por un autmata con pila. Gramticas de tipo 3 (gramticas regulares) generan los lenguajes regulares. Estas gramticas se restringen a aquellas reglas que tienen en la parte izquierda un no terminal, y en la parte derecha un solo terminal, posiblemente seguido de un no terminal. La regla S -> tambin est permitida si S no aparece en la parte derecha de ninguna regla. Estos lenguajes son aquellos que pueden ser aceptados por un autmata finito. Tambin esta familia de lenguajes puede ser obtenida por medio de expresiones regulares. Cada lenguaje regular es a su vez libre del contexto, asimismo un lenguaje libre del contexto es tambin dependiente del contexto, ste es recursivo y a su vez, recursivamente enumerable. Las inclusiones son, sin embargo, propias, es decir, existen en cada nivel lenguajes que no estn en niveles anteriores.

Lenguaje recursivamente enumerable En matemticas, lgica e informtica, un lenguaje recursivamente enumerable es un tipo de lenguaje formal que es tambin llamado parcialmente decidible o Turing-computable. Son conocidos como lenguajes tipo-0 en la Jerarqua de Chomsky. Aunque existen varias definiciones equivalentes, sta es una de las principales: Un lenguaje recursivamente enumerable es un lenguaje formal para el cual existe una mquina de Turing que acepta y se detiene con cualquier cadena del lenguaje. Pero que puede parar y rechazar, o bien iterar indefinidamente, con una cadena que no pertenece al lenguaje, en contraposicin a los lenguajes recursivos en cuyo caso se requiere que la mquina de Turing pare en todos los casos. Todos los lenguajes regulares, independientes de contexto, dependientes de contexto y recursivos son recursivamente enumerables. Propiedades de Cierre Los lenguajes recursivamente enumerables son cerrados con las siguientes operaciones. Esto es, si L y P son dos lenguajes recursivamente enumerables, entonces los siguiente lenguajes son recursivamente enumerables tambin:

* el cierre estrella L* de L * la concatenacin L o P de L y P * la unin L P de L y P * la interseccin L P de L y P

Ntese que los lenguajes recursivamente enumerables no son cerrados con la diferencia ni el complementario. * L \ P puede no ser recursivamente enumerable * L es recursivamente enumerable si y solo si L es tambin recursivo

Lenguaje sensible al contexto En las ciencias de la computacin, un lenguaje sensible al contexto es un lenguaje formal que puede ser definido por gramticas sensibles al contexto. Es uno de los cuatro tipos de gramticas en la jerarqua de Chomsky, siendo esta gramtica la menos frecuente, tanto en la teora como en la prctica. Propiedades computacionales Computacionalmente, un lenguaje sensible al contexto es equivalente a una mquina de Turing no determinista linealmente acotada, tambin llamado Autmata linealmente acotado.Se trata de una mquina de Turing no determinista con una cinta de slo kn posiciones, donde n es el tamao de la entrada y k es la constante asociada a la mquina. Esto significa que cada lenguaje formal que puede ser decidido por una mquina es un lenguaje sensible al contexto. Propiedades # La unin, interseccin, y concatenacin de dos Lenguajes sensibles al contexto es un Lenguaje sensible al contexto. # El complemento de un lenguaje sensible al contexto es en si mismo sensible al contexto. # Cada gramtica libre de contexto es un lenguaje sensible al contexto.

Gramatica libre de contexto 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 sntaxis 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.

Lenguaje Regular Un lenguaje regular es un tipo de lenguaje formal que satisface las siguientes propiedades: Los lenguajes ms sencillos que se considerarn son los lenguajes regulares, es decir, los que se pueden generar a partir de los lenguajes bsicos, con la aplicacin de las operaciones de unin, concatenacin y * de Kleene un nmero finito de veces. Puede ser reconocido por: un autmata finito determinista un autmata finito no determinista un autmata de pila

un autmata finito alterno una mquina de Turing de solo lectura

Es generado por: una gramtica regular una gramtica de prefijos

Es descrito por: una expresin regular

Lenguajes Regulares Sobre un Alfabeto

Un lenguaje regular sobre un alfabeto dado se define recursivamente como: El lenguaje vaco es un lenguaje regular El lenguaje cadena vaca {} es un lenguaje regular Para todo smbolo a {a} es un lenguaje regular Si A y B son lenguajes regulares entonces A B (unin), AB (concatenacin) y A* (clausura o estrella de Kleene) son lenguajes regulares Si A es un lenguaje regular entonces (A) es el mismo lenguaje regular No existen ms lenguajes regulares sobre

Todo lenguaje formal infinito constituye un lenguaje regular. Otros ejemplos tpicos son todas las cadenas sobre el alfabeto {a, b} que contienen un nmero par de aes o el lenguaje que consiste en varias aes seguidas de varias bes. Si un lenguaje no es regular requiere una mquina con al menos una complejidad de (log log n) (donde n es el tamao de la entrada). En la prctica la mayora de los problemas no regulares son resueltos con una complejidad logartmica. Un lenguaje formal infinito puede ser regular o no regular. El lenguaje L = {a^n, n > 0} es regular porque puede ser representado, por ejemplo, mediante la expresin regular a+. El lenguaje L= {a^n b^n, n > 0} es un lenguaje no regular dado que no es reconocido por ninguna de las formas de representacin anteriormente enumeradas.

Propiedades de Cierre Los lenguajes regulares son cerrados con las siguientes operaciones, de modo que si L y P son lenguajes regulares los siguientes lenguajes tambin sern regulares: El complemento de L La clausura o estrella de Kleene L* de L El homomorfismo (L) de L La concatenacin L'P de L y P La unin L P de L y P La interseccin L P de L y P La diferencia L \ P de L y P

El reverso L^R de L Definir Cuando un Lenguaje es Regular

Para situar los lenguajes regulares en la jerarqua de Chomsky hay que notar que todo lenguaje regular es tambin un lenguaje libre de contexto, aunque la afirmacin contraria no es cierta, por ejemplo: el lenguaje que contiene el mismo nmero de aes y de bes es libre de contexto pero no regular. Para probar que un lenguaje de este tipo no es regular se usa el teorema de Myhill-Nerode, o el lema de bombeo por ejemplo. Hay dos aproximaciones puramente algebraicas para definir lenguajes regulares. Si es un alfabeto finito y * es un monoide libre consistente en todas las cadenas sobre , f: * M es un monoide simtrico donde M es un monoide finito y S es un subconjunto de M entonces el conjunto f-1(S) es regular. Todo lenguaje regular se presenta de esta manera. Si L es un subconjunto de *, se define la relacin equivalente ~ en * de la siguiente manera: u ~ v significa uw L si y solo si vw L para todo w *. El lenguaje L es regular si y solo si el nmero de clases de equivalencia de ~ es finito; si este es el caso, este nmero es igual al nmero de estados del autmata determinista mnimo que reconocer L. Trabajos Relevantes Sobre Lingstica de Noam Chomsky Introduccin Noam Chomsky (Filadelfia, 1928) es el fundador de la lingstica generativa y transformacional. Nacido en el seno una familia de origen ruso-juda instalada en Estados Unidos desde hace varias generaciones. Chomsky estudi en la Universidad de Pennsylvania la lingstica estructural con Z.S.Harris, seguidor de Bloomfield en la lnea ortodoxa de su mecanicismo, en el estadio formal del lenguaje y en la lgica matemtica. Es uno de los lingistas universales que han transformado los conceptos ms esenciales de la gramtica general. Su renovadora labor ha creado escuela y son muchos los que le siguen hoy en todo el mundo, arrastrados por su convincente exposicin de la gramtica generativa. Desde 1955 es profesor de lenguas modernas y de lingstica general en el instituto de tecnologa de Massachussets. Su primera obra, Estructuras sintcticas (1957), cuestiona los fundamentos epistemolgicos de la lingstica estructural. El modelo transformacional que propone ofrece una fuerza explicativa s uperior e introduce los conceptos de gramaticalidad y de creatividad: todo hablante nativo posee una cierta intuicin de la estructura de su lengua que le permite, por una parte, distinguir las frases gramaticales de las frases agramaticales, y por otra, comprender y transmitir infinidad de frases inditas. En Aspectos de la teora de la sintaxis (1965) perfecciona su concepcin de la sintaxis y sus relaciones con la fonologa y la semntica en el marco terico mucho ms elaborado de la gramtica generativa. Al mismo tiempo seala la existencia de una tradicin que prefigura sus concepciones, la gramtica de Port Royal y los trabajos de Humboldt. En el Lenguaje y el entendimiento (1968) demuestra cmo sus concepciones sintcticas se integran en una teora general de psicologa del conocimiento y de filosofa del lenguaje. Otra de sus obras, Estructura Profunda, Estructura Superficial e Interpretacin semntica (1971) hace puntualizaciones concernientes a su teora como respuesta a las crticas hechas a los partidarios de la semntica generativa. Chomsky es igualmente conocido por sus posiciones polticas radicales. Por razones de estado (1973), Derechos humanos y poltica exterior americana (1978), Baos de sangre (1979) y otra serie de obras totalmente o puestas a la poltica exterior de Estados Unidos de Amrica.

En una palabra, sus concepciones lingsticas coinciden exactamente con su talante humanista, que le ha hecho militar frontalmente a la poltica de USA. Por eso, quizs, ha encontrado ms oposic in de la que, en principio, debera haber encontrado. Su lgica matemtica, la teora de los conjuntos y el clculo de matices han horrorizado tanto a los matemticos como a los lingistas puros. Se podra hablar de una matematizacin de los mtodos lingsticos a fin de que puedan satisfacer los principios cientficos que propone. En su vida hay que distinguir dos pocas: la primera (desde 1955 a 1966) se caracteriza por un recurso exclusivo de lo formal y un dejar aparte la significacin en la lnea de Bloomfield. Es la poca discordante con la lingstica europea. La segunda (a partir de 1966) es un cambio brusco y completo con La lingstica cartesiana (1966) y El lenguaje y el entendimiento (1968) donde comienza a preocuparse de la significacin o semntica. Es aqu donde adquiere una gran complementacin de lo anterior y la lingstica europea pasa de las crticas a un inters por su teora cientficamente atractiva. Hay que reconocer que la teora de Chomsky es especficamente para una lengua, la lengua inglesa, pero pretende ser general y universal. Capacidad, competencia y actuacin lingsticas Para Chomsky, cualquier individuo dotado de la facultad de hablar es capaz de expresarse en su propia lengua con correccin e interpretar y entender lo que otro individuo de su comunidad lingstica le pueda comunicar. Es decir, como el ser humano posee la facultad de hablar y conocer la lengua, entendiendo por conocer la lengua, no los conocimientos cientficos sobre la misma, sino los mecanismos necesarios para expresarse en su lengua. Es a lo que llama Chomsky la competencia lingstica. Esta competencia est interiorizada, pero se exterioriza en cada acto lingstico, y es a lo que llama Chomsky actuacin lingstica o manifestacin de la competencia. Esta dicotoma es para Chomsky el primer requisito de la gramtica generativa, relacionada con la distincin lengua/habla de Saussur. Pero no identificada, porque la lengua Sausurena es una visin esttica de la lengua, mientras que la de Chomsky es una visin dinmica. La gramtica Generativa Por tanto, la tarea del lingista consistir en hallar el sistema prctico que implique la competencia y que ser expresado en forma de reglas cuyo conjunto constituye la gramtica. As, podemos decir que la gramtica generativa es el conjunto de reglas que permiten generar todas y cada una de las manifestaciones lingsticas de una lengua. Pero para elaborar esa teora lingstica se podra: Descubrir la gramtica de una lengua sobre la base de un corpus representativo y garante. Chomsky piensa que esto es imposible. Decidir si una gramtica ya existente es adecuada o no lo es. Sin premisas de criterio, sera un apriorismo inadmisible. Valorar unas cuantas gramticas e intentar aproximarse a la descripcin ms perfecta. Para Chomsky es lo nico asequible. Hay que anotar que la solucin ltima implica a la segunda, por lo que se viene a caer en el condenado apriorismo. En esta primera seleccin, Chomsky est muy lejos de Hjelmslev y de la escuela europea en cuanto a premisas lgicas. Chomsky lleva razn al decir que una teora debe ser independiente del material concreto que se va a describir con ella. Pero una teora exige un nmero de premisas implcitas que se reducen al mnimo, y las definiciones sucesivas deben ir siempre apoyadas en lo ya expuesto. En la prctica equivale esto a la necesidad de introducir las definiciones previas antes de las que las presuponen; es decir, partir de lo ms sencillo para llegar a lo ms complejo como lo exigen la segunda y tercera reglas cartesianas. Grficamente, en Copenhague y en la escuela europea se intenta construir en este orden: TEORA GRAMTICA DESCRIPCIN

Sin embargo, Chomsky toma la teora d las gramticas ms logradas, no se detiene a definir los conceptos tericos bsicos que luego va a emplear, como verbo, sustantivo... Y, sobre esa teora, deducida de otras gramticas no elaboradas cientficamente, organiza su gramtica de reglas generativas.

La pregunta es la siguiente: si no resulta esa teora por fallo cientfico de los fundamentos en que se apoya no probados lgicamente? La respuesta de Chomsky es sencilla: Se cambia! Es lo que ha hecho en su segunda poca. La teora gramatical est sujeta a revisiones continuas. Y esto es necesario precisamente por el dinamismo cambiante de la realidad de la lengua. Hay otra pregunta: si resulta exacta esa teora tras ciertos perfeccionamientos? Es lo que constituye la base de toda invencin, de todo descubrimiento basado en el dominio del azar, algo cautivador y atrayente en sumo grado. No nos extraa que la lingstica transformacional haya sido calificada de maravillosa aventura. La adecuacin: gramaticalidad y aceptabilidad La competencia lingstica que posee un hablante le impide generar frases que no pertenezcan a su lengua o frases antigramaticales. De igual modo, una gramtica generativa va a satisfacer las condiciones de adecuacin. Esta adecuacin es doble. La gramtica generativa deber cumplir, primeramente, el requisito de la gramaticalidad, que es la adecuacin de la gramtica a la competencia. Es decir, no generar frases descabelladas ni disparatadas. Aqu gramaticalidad no tiene nada que ver con correccin o norma. Pero no es suficiente que las frases sean gramaticales. La gramtica generar, adems, frases con aceptabilidad, que es la adecuacin de la gramtica a la actuacin. Estos dos conceptos de gramaticalidad y aceptabilidad, sern los criterios que valorarn una gramtica, el primero a nivel de competencia y el segundo a nivel de actuacin. El inconveniente que se puede oponer a Chomsky es doble: En primer lugar, nicamente un nativo tiene el criterio de gramaticalidad y aceptabilidad. Luego se convierte en regla para una sola lengua y no se da el criterio de generalidad. Y en segundo lugar, la gramtica pone tablas al hablante que utiliza figuras y recursos aparentemente disparatados, pero que son vlidos para la expresividad y el lenguaje potico o literario. La estructura profunda y la estructura superficial Chomsky nos recuerda que un lenguaje es un conjunto finito o infinito de frases, todas de longitud finita y construidas con repertorio finito de elementos, principio muchas veces formulado pero pocas veces aprovechado. Aqu se muestra el carcter generativo de la gramtica, la cual, a partir de unos componentes y de sus reglas de composicin, genera todas las frases de la lengua que explica. Esta gramtica trabaja a dos niveles. Uno se sita en la estructura profunda, latente en la competencia; el otro en la estructura superficial, patente en la actuacin. De ah que toda frase tendr esa doble estructura. La estructura profunda genera la estructura superficial o de superficie. Entre la estructura profunda y la estructura superficial aparecen los procesos de transformacin. De ah la gramtica transformacional. Los componentes gramaticales El dominio genuinamente lingstico es el gramatical. Si admitimos y parece indiscutible que en la lengua hay un nivel fonolgico, un nivel sintctico y un nivel semntico, la gramtica constar de los siguientes componentes: a) Componente sintctico: primordial y generador de estructuras. b) Componente semntico: asigna significado a esas estructuras. c) Componente fonolgico: permite que esas estructuras se hagan perceptibles. La disposicin jerrquica de esos tres tipos de componentes gramaticales puede expresarse como una jerarqua de dependencias:

Componente sintctico Componente semntico fonolgico Componente

En esto la lingstica de Chomsky se separa definitivamente de la de los seguidores de Bloomfield. Adems, un sistema es un lenguaje enormemente complicado. Pero la descripcin conjunta de esos niveles, aunque diferenciados, sern mucho ms sencilla que la descripcin independiente de las diversas estructuras de cada uno de ellos. De todas maneras el componente con capacidad generativa es el sintctico por: los otros dos son componentes interpretativos. El componente sintctico aparece construido por: a) base: conjunto de reglas que generan las estructuras profundas. Est compuesta por: Un componente categorial o conjunto de reglas reescriturales que definen las relaciones gramaticales de los elementos de una cadena discursiva. Y por un lexicn, especie de diccionario en el que los trminos se definen por un conjunto acabados de rasgos selectivos que aportan una informacin semntica y gramatical. Estos rasgos entran en el proceso generativo despus de haber desarrollado las reglas del componente categorial, al cual se le otorga una interpretacin semntica.

b) las transformaciones: reglas que van a convertir las estructuras profundas en estructuras superficiales. Decimos estructura y no cadena discursiva, pues esta aparecer slo y cuando haya actuado el otro componente interpretativo, el componente fonolgico.

Conclusin

Chomsky ha llegado a construir un avance formidable en la historia de la lingstica. Y esto por varias razones:

1. Hasta ahora se conceba la gramtica como un elemento encorsetador que, lejos de ayudar a la actuacin de la lengua, la frenaba y le impeda su desarrollo vital. 2. Ha hecho que concibamos la lengua como algo vivo que crece y se desarrolla con el uso libre del pueblo. 3. La competencia del ser humano para utilizar y realizarse mediante la lengua es un axioma indiscutible despus de Chomsky. 4. Todos los hombres tienen capacidad para crear ilimitados mensajes con su propia lengua. 5. La gramtica generativa y transformacional de Chomsky supone una superacin de la doctrina de Saussure. 6. Gracias a la lingstica generativa y transformacional, se abre un nuevo enfoque mucho ms definitivo para la consecucin de una verdadera ciencia lingstica. 7. El anlisis estructural consigui una descripcin de los constituyentes lingsticos meramente esttico. El anlisis generativo es una situacin nueva: mucho ms dinmica, inventora, con vistas hacia el futuro.

http://www.biografiasyvidas.com/biografia/c/chomsky.htm Chomsky.

Nombrepag.

Biografa

de

Noam

http://es.wikipedia.org/wiki/Jerarqu%C3%ADa_de_Chomsky Nombrepag Jerarqua de Chomsky. http://es.wikipedia.org/wiki/Lenguaje_recursivamente_enumerable Recursivamente enumerable. Nombrepag Lenguaje

http://es.wikipedia.org/wiki/Lenguaje_sensible_al_contexto Lenguaje sensible al contexto http://es.wikipedia.org/wiki/Lenguajes_de_contexto_libre Gramatica libre del contexto http://es.wikipedia.org/wiki/Lenguaje_regular Lenguaje Regular Contreras, H. Los fundamentos de la gramtica transformacional. Mxico, siglo XXI, 1971. Lyons, J. Chomsky, Londres, Collins Sons, 1970. Edicin original en ingls. Nivette, J. Principios de gramtica generativa. Madrid, Fragua, 1973. Vidal Lamiquiz. Lingstica Espaola. Publicaciones de la Universidad de Sevilla, 1973.