![](\"https:\/\/www.trustedtranslations.com\/wp-content\/uploads\/2012\/04\/Noam_Chomsky.png\")
Noam Chomsky es una celebridad en muchos campos. Algunos traductores se sorprenden al saber que tambi\u00e9n es reconocido en el campo de la inform\u00e1tica. Invent\u00f3 (\u00bfo descubri\u00f3?) una clasificaci\u00f3n de gram\u00e1ticas en sistemas formales seg\u00fan su poder de expresi\u00f3n (o procesamiento): la jerarqu\u00eda de Chomsky.<\/p>\n
Este esquema clasifica los idiomas generados por gram\u00e1ticas en cuatro categor\u00edas:<\/p>\n
Regulares
\nLibres de contexto
\nSensibles al contexto
\nRecursivamente enumerables<\/p>\n
Para cada una de ellas, hay un aut\u00f3mata que puede reconocer oraciones en el idioma:<\/p>\n
Aut\u00f3mata finito, tambi\u00e9n conocido como m\u00e1quina de estados finitos
\nAut\u00f3mata con pila
\nAut\u00f3mata linealmente acotado
\nM\u00e1quina de Turing<\/p>\n
Los idiomas naturales pertenecen a los tipos de gram\u00e1tica m\u00e1s poderosos, y la m\u00e1quina que corresponde a ellos es la m\u00e1quina de Turing.<\/p>\n
Ahora presento un ejemplo de un idioma com\u00fan, la clase m\u00e1s simple, para ilustrar esta impresionante correspondencia entre gram\u00e1ticas y m\u00e1quinas. Consideremos esta gram\u00e1tica:<\/p>\n
ORACI\u00d3N-> \u201cLa\u201d PARENTESCO \u201ces\u201d ADJETIVO
\nPARENTESCO-> RELACI\u00d3N \u201cde\u201d PERSONA
\nRELACI\u00d3N-> \u201cmadre\u201d | \u201cpadre\u201d | \u201chermana\u201d | \u201chermano\u201d | \u201chijo\u201d | \u201chija\u201d
\nPERSONA-> \u201cAna\u201d | \u201cDavid\u201d
\nADJETIVO-> \u201cbrillante\u201d | \u201cgrande\u201d<\/p>\n
Con ella, podemos crear oraciones tan inspiradoras como \u201cLa mam\u00e1 de Ana es brillante\u201d y \u201cLa hija de David es grande\u201d.<\/p>\n
La correspondiente m\u00e1quina de estados finitos reconoce estas dos oraciones, m\u00e1s las otras 22 que pueden crearse con ellas (escribirlas queda como ejercicio divertido para el lector). Consta de una cantidad de estados unidos por flechas etiquetadas que representan transiciones de un estado a otro. Hay un estado inicial especial y otro estado final especial:<\/p>\n
![](\"https:\/\/www.trustedtranslations.com\/wp-content\/uploads\/2012\/04\/FSM1_sp3.png\")
<\/p>\n
Ser\u00eda muy f\u00e1cil confundirse en este punto y creer que \u201cfinito\u201d en m\u00e1quina de estados finitos se refiere al hecho de que s\u00f3lo un n\u00famero finito de oraciones pueden producirse o reconocerse. Este no es el caso en absoluto. Se refiere al hecho de que hay un n\u00famero finito de estados (los c\u00edrculos, siete en este caso). Al hacer una peque\u00f1a modificaci\u00f3n de nuestra gram\u00e1tica podr\u00edamos crear oraciones de longitud arbitraria, incluso si el n\u00famero de estados se deja inalterado.<\/p>\n
ORACI\u00d3N-> \u201cEl\u201d PARENTESCO \u201ces\u201d ADJETIVO
\nPARENTESCO-> RELACI\u00d3N \u201cde\u201d PERSONA
\nRELACI\u00d3N-> \u201cmadre\u201d | \u201cpadre\u201d | \u201chermana\u201d | \u201chermano\u201d | \u201chijo\u201d | \u201chija\u201d
\nPERSONA-> \u201cAna\u201d | \u201cDavid\u201d | \u201cel\u201d PARENTESCO
\nADJETIVO-> \u201cbrillante\u201d | \u201cgrande\u201d<\/p>\n
Hemos agregado \u201cel\u201d PARENTESCO como una alternativa m\u00e1s para PERSONA. En la m\u00e1quina de estado finito aparece sencillamente como una nueva flecha que vuelve al segundo estado.<\/p>\n
![](\"https:\/\/www.trustedtranslations.com\/wp-content\/uploads\/2012\/04\/FSM2_sp3.png\")
<\/p>\n
Ahora podemos crear oraciones como \u201cEl hijo de la hermana de la madre de la hija de David es alto\u201d. Sol\u00eda jugar este juego con mis ex amigos (se convert\u00edan autom\u00e1ticamente en ex amigos en el momento en que empezaba a jugar este juego con ellos). Cuando hablaba de mi hermano, por ejemplo, me refer\u00eda a \u00e9l como el hijo de la t\u00eda de la hermana de mi primo.<\/p>\n
La jerarqu\u00eda Chomsky ha sido estudiada mucho desde ambos campos. En la inform\u00e1tica brinda las bases de la sintaxis para lenguajes de programaci\u00f3n, entre otros. Se ha puesto mucho esfuerzo en tratar de capturar la estructura de los idiomas reales como el ingl\u00e9s con las gram\u00e1ticas y sus correspondientes m\u00e1quinas para muchos prop\u00f3sitos, entre ellos la traducci\u00f3n. Los sistemas de traducci\u00f3n basados en este enfoque se conocen como \u201cbasados en reglas\u201d.<\/p>\n
<\/p>\n
<\/p>\n