Jerarquía de Chomsky

Jerarquía de Chomsky En 1956, Noam Chomsky clasificó las gramáticas en cuatro tipos de lenguajes y esta clasificación es conocida como la jeraru!a de Chomsky, en la cual cada lenguaje es descrito por el tipo de gramática generado" Estos lenguajes sir#en como $ase para la clasificación de lenguajes de programación" %os cuatro tipos son& lenguajes recursi#amente enumerarles, lenguajes sensi$les al conte'to, lenguajes li$res de conte'to y lenguajes regulares" (ichos lenguajes tam$i)n se identifican como lenguajes de tipo *, 1, + y " Gramáticas de tipo 0 (sin restricciones), restricciones) , ue incluye a todas las gramáticas formal formales" es" Estas Estas gramáti gramática cas s genera generan n todos todos los lengua lenguajes jes capac capaces es de ser  reco recono noci cido dos s por por una una má máu uin ina a de -ur urin ing g" %os %os leng lengua uaje jes s son son cono conoci cido dos s como lenguajes recursi#amente enumerarles" enumerarles " Nótese ue esta categor!a es diferente de la de los lenguajes recursi#os, recursi#os, cuya decisión puede ser reali.ada por una máuina de -uring -uring ue se detenga" Gramáticas de tipo 1 (gr gram amát átic icas as se sens nsib ible les s al co cont ntex exto to))  generan los len lengua guajes jes sen sensi$ si$les les al co conte nte'to 'to"" Esta Estas s gram gramát átic icas as tien tienen en regl reglas as de la forma con un no terminal y , y cadenas de terminales y no terminales" terminales" %as cadenas cadenas y pueden pueden ser #ac!as, #ac!as, pero no puede puede serlo" serlo" %a regla está permitida si no aparece en la parte derecha de ninguna regla" %os lenguajes descritos por estas gramáticas son e'actamente todos auellos lenguajes reconocidos por una máuina de -uring determinista -uring determinista cuya cinta de memoria está acotada por un cierto n/mero entero de #eces so$re la longitud de entrada, tam$i)n conocidas como autómatas linealmente acotados" acotados" Gramáticas de tipo  (gramáticas (gramáticas libres del contexto) contexto) generan los lenguajes independientes del conte'to" conte'to" %as reglas reglas son de la forma con un no terminal terminal y una cadena cadena de de terminales terminales y no no terminales terminales"" Estos lenguajes lenguajes son son auellos ue pueden ser reconocidos por un autómata con pila" pila" Gramáticas de tipo ! (gram gramática áticas s regu regulares lares)) gene genera ran n los los lenguajes regulares"" Estas gramáticas se restringen a auellas reglas ue tienen en la regulares part parte e i.u i.uie ierd rda a un no term termin inal al,, y en la part parte e dere derech cha a un solo solo term termin inal al,, posi posi$l $lem emen ente te segu seguid ido o de un no term termin inal al"" %a regl regla a tam$ tam$i) i)n n está está perm permit itid ida a si no apar aparec ece e en la parte parte derec derecha ha de ningun ninguna a regl regla" a" Esto Estos s lengua lenguajes jes son auell auellos os ue puede pueden n ser acept aceptado ados s por un autóm autómata ata finito finito"" -am$i) m$i)n n esta esta fami famili lia a de leng lengua uaje jes s pued puede e ser ser o$te o$teni nida da por por medi medio o de e'presiones regulares" regulares" C"#C$%&'"# %a jeraru!a de Chomsky Chomsky da un ni#el adecuado adecuado a cada lenguaje diferente para cada tipo de algoritmo en los cuales al desarrollarse la eficiencia del resultado a $uscar es más preciso y e'acto" 0lgunos de los ni#eles son un poco más ela$ ela$or orad ados os ue ue los los demá demás s por por lo tant tanto o se nece necesi sita ta comp compre rend nder er $ien $ien los los algoritmos a anali.ar ya ue al e'istir un entendimiento erróneo del algoritmo el resultado estar!a incorrecto"