TRABAJOS MS RELEVANTES DE NOAM CHOMSKY FORMA NORMAL DE CHOMSKY Definicin: Una gramtica de contexto libre (o gramtica independiente del

contexto, o gramtica tipo 2) se dice que est en forma normal de Chomsky cuando sus producciones son de la forma A ::= BC, A ::= a, (eventualmente) S ::= Algoritmo: Para obtener una gramtica en forma normal de Chomsky equivalente a una gramtica de contexto libre : Se parte de una gramtica independiente del contexto bien formada. Paso 1 : Para aquellas producciones A ::= x, |x| 2, que no responden a la forma normal de Chomsky, en conjunto, se cambian los smbolos terminales bi que aparezcan por smbolos no terminales nuevos Xi y se aaden las producciones Xi ::= bi. Paso 2 : Cada produccin de la forma A ::= B1 B2 Bk, k > 2, se reemplaza por: A ::= B1 Y1 Y1 ::= B2 Y2 ............ Yk-2 ::= Bk-1 Bk donde Y1, Y2, , Yk-2 son nuevos smbolos no terminales.

Se ve de forma bastante intuitiva que la gramtica obtenida con este proceso es equivalente a la gramtica de la que se parte. Toda GIC se puede transformar en una nueva GIC G equivalente a G, expresada en Forma Normal de Chomsky (FNC). En esta forma, las reglas pueden tener las siguientes formas: 1. A::= BC 2. S ::= 3. A ::= a Donde A, B, C N, a T y S es el axioma.

Los rboles de derivacin de una GIC en FNC sern rboles implementacin de los analizadores sintcticos.

binarios, lo cual facilitar la

Ejemplo: S::= AB | aSb | aAB | aB | aA | Bb | a | b | A::= aAB | aB | aA | a B::= Bb | b (dos nuevos smbolos no terminales) S::= AB | CSD | CAB | CB | CA | BD | a | b | A::= CAB | CB | CA | a B::= BD | b C::= a D::= b (nuevos smbolos para casos como CSD) S::= AB | CE | CF | CB | CA | BD | a | b | A::= CF | CB | CA | a B::= BD | b C::= a E::= SD F::= AB D::= b

Algoritmo para obtener la FNC Dada una GIC G0 = (T0 , N0 , S, P0), vamos a obtener una GIC G = (T , N , S, P) en FNC equivalente a G.

1. Convertimos G0 en GIC bien formada G = (T, N, S, P). 2. N=N, P=P 3. Sustitucin de smbolos terminales 3.1. Para cada smbolo a T distinto que aparezca en el cuerpo de una regla de P se aade una regla C::=a a P, siendo CN una variable nueva que se aade a N. 3.2. En cada regla A ::= x de P con x* y |x|>1 se sustituyen todos los smbolos terminales en x por la variable correspondiente del paso anterior. 4. Sustitucin de reglas del tipo A::=x con xN* y |x|> 2:

Repetir: Para cada regla A::=x en P con xN* y |x|> 2: Sea x=x1x2y con x1,x2N e yN+ Aade una regla D::= x1x2 a P siendo DN una variable nueva que se aade a N Sustituye la regla A::=x en P por la regla A::=Dy Hasta que no hay ms reglas A::=x en P con xN* y |x|>2

Si en algn momento del algoritmo, se desea aadir una regla D::= u con DN y u*, y ya existe una regla de la forma B ::= u con BN, y no existe ninguna regla ms en P cuya parte izquierda sea B, entonces no es necesario aadir el nuevo smbolo D ni tampoco la nueva regla D ::= u. Diremos que una gramtica incontextual G=(N,T,P,S) que no genera la cadena vaca, est en FNC cuando todas sus reglas son de la forma:

{A {A

BC con A,B,C N a, con A,B N y a T

Teorema. Todo lenguaje incontextual L que no incluye la cadena vaca, es generado por una gramtica en FNC.

Sea G (S,P) T N = una gramtica independiente del contexto, entonces existe G , equivalente a G , cuyas reglas son de uno de los tipos siguientes i) A:=BC, con A,B,CN, ii) A:=a, con A N, aT iii) S:= con S el axioma. Con esto se pueden obtener todas las palabras del lenguaje con rboles binarios. La demostracin es constructiva, sobre la reglas de la gramtica bien formada

Sea A:= una regla de G. Si empieza por un smbolo no terminal, se tiene A:=Bx, introducimos un nuevo no terminal B y sustituimos la regla original por las reglas B:=x y A:=BB.

Si empieza por un terminal, se tendr A:=ax, con aT, x*, introducimos dos nuevos no terminales, C y C, y sustituimos la regla original por las reglas A:=CC y C:=a y C:=x. Como este proceso es finito porque la longitud de las palabras de la parte derecha de todas las reglas es finita, llegar un momento en que todas las reglas sean del tipo de la forma normal de Chomsky. Ejemplos: Sea G ({0,1},{A,B,C},A,P) 4 = dada por las reglas A:=0BC / 1A / 11 B:=1C1 / AB0 / 1 C:= B1 / 0 Queremos pasarla a FNC Empezamos por la regla A:=0BC. La parte derecha empieza por un smbolo terminal. Introducimos un nuevo no terminal al que llamaremos D y hacemos D:=0, y escribimos A:=DBC; ahora introducimos otro no terminal, sea E y la regla E:=BC; quitamos la regla original y la sustituimos por las tres reglas A:=DE, E:=BC y D:=0, que estn las tres en FNC. Seguimos con la regla A:=1A. La parte derecha empieza por un smbolo terminal. Introducimos un no terminal nuevo F y la regla F:=1. Eliminamos la regla original y la sustituimos por las dos reglas A:=FA y F:=1, ambas en FNC. Para la regla A:=11, simplemente la cambiamos por A:=FF.

En cuanto a la regla B:=1C1, hacemos G:=C1 y cambiamos la regla original por B:=FG y la nueva regla G:=CF. Para B:=AB0 podemos hacer H:=AB quitar la regla original y poner B:=HD. La regla B:=1 no hay que modificarla. Para C:=B1, basta quitarla y escribir en su lugar C:=BF. Por ltimo la regla C:=0, no hace falta modificarla.

Una gramtica equivalente a la dada en forma normal de Chomsky (FNC) ser: A:=DE / FA / FF B:=FG / HD / 1 C:=BF / 0 D:=0 E:=BC F:=1 G:=CF H:=AB

Ejemplo: Sea la gramtica G3 de nuestro ejemplo anterior S:=aMNz M:= aMa / z N:= bN / b Para encontrar una equivalente en FNC, procedemos como antes Para la regla S:= aMNz; Hacemos B:=a (FNC) C:= MNz (no FNC), y cambiamos la regla original por S:= BC (FNC). Seguimos haciendo D:= Nz (no FNC) y C:= MD (FNC); por ltimo hacemos E:= z (FNC) y D:= NE(FNC). BF. Para la regla M:= aMa hacemos F:= Ma (no FNC) que cambiamos por F:= MB (FNC) y M:= Para la regla N:= bN, simplemente hacemos G:= b (FNC) y N:= GN (FNC). Las reglas M:= z y N:= b, ya est en FNC y no necesitan ser modificadas.

La nueva gramtica G3 con axioma tambin S, smbolos terminales {a,b,z} T = y no terminales {S,B,C,D.E,F,G,M,N} N = , tiene las reglas S:= BC B:= a C:= MD D:= NE E:= z F:= MB M:= BF / z G:= b N:= GN / b

Por otra parte la palabra aazabbbz es derivable desde el axioma con la gramtica original y por tanto tambin con esta. En efecto S BC aC aMD aBFD aaFD aaMBD aazBD aazaD aazaNE aazaGNE aazabNE aazabGNE azaabbNE aazabbbE aazabbbz

Su rbol de derivacin ahora ser un rbol binario.

ESTRUCTURA INNATA DEL LENGUAJE Chomsky toma una posicin mentalista. La teora de Chomsky es una teora formal del lenguaje segn la cual el lenguaje se genera a partir de unas estructuras innatas; por eso su teora se conoce como "Gramtica generativa". Chomsky establece dos grandes principios. El principio de autonoma segn el cual el lenguaje es independiente de otras funciones y los procesos del desarrollo del lenguaje tambin son independientes de otros procesos de desarrollo. El segundo principio es el principio de innatismo segn el cual el lenguaje es un conjunto de elementos y reglas formales; es decir, es una gramtica que no puede aprenderse asociativamente en virtud de la asociacin de estmulo con respuesta, por lo tanto, es innato. Chomsky toma al conductismo como si fuese toda la Psicologa por lo que si no se puede explicar debe ser porque es innato. Chomsky plantea el "problema de Platn", este problema lo formula bajo los siguientes trminos: Cmo es que el nio aprende el lenguaje con tanta rapidez y sencillez con un input tan pobre? Esta observacin es muy pobre. Chomsky parte de unas premisas que no son rigurosas y que son hasta cierto punto errneas. Chomsky llega al innatismo por eliminacin planteando unas premisas como evidentes que parecen de sentido comn y que no se corresponden con una realidad objetiva. Este innatismo del lenguaje se concreta diciendo que todos nacen con un constructo interno, un esquema innato especficamente humano y genticamente hereditario que es lo que l llama LAD (Dispositivo de Adquisicin del Lenguaje). Este mecanismo tiene como contenido a un conjunto de principios gramaticales universales que son la Gramtica Universal. Cuando uno nace, con este dispositivo, empieza a recibir unos estmulos lingsticos o datos lingsticos primarios. Una vez que estos datos son procesados en el LAD hay un output o resultado que es la Gramtica de la lengua en cuestin. Las implicaciones de la Teora de Chomsky: La importancia decisiva que tiene el estudio del lenguaje infantil para la teora lingstica, debido a que la teora lingstica quiere una teora general para el estudio del lenguaje y esta Gramtica General se encuentra dentro del nio. Pero Chomsky al igual que sus discpulos se imaginaban ese mecanismo ya que no estudiaban al nio en cuestin. Importancia que adquiri el estudio de los fundamentos biolgicos del lenguaje y la nocin de periodo crtico para el lenguaje. En esta lnea destaca Lennerberg y su "Teora maduracionista". De alguna manera viene a decir que las diferencias ambientales no influyen en la adquisicin del lenguaje. Y es cierto que en general sean cuales sean los estmulos que recibe el nio la mayora de los nios desarrollan el lenguaje de igual manera o al menos en los primeros aos.

LA GRAMATICA GENERATIVA 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 Massachusetts. Su primera obra, Estructuras sintcticas (1957), cuestiona los fundamentos epistemolgicos de la lingstica estructural. El modelo transformacional que propone ofrece una fuerza explicativa superior 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 opuestas 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 oposicin 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 Saussureana 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 de 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 Componente Fonolgico

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.