lenguajes, lo que estuvo estimulado por el desarrollo de compiladores.

Es en esta última aplicación que importa precisar el diferente rol

que tienen las gramáticas y las máquinas o autómatas: las primeras son
metalenguajes destinados a la generación de los lenguajes formales y las
últimas son modelos de entidades reconocedoras de esos lenguajes. El
lenguaje es el vínculo que establece un isomorfismo entre ambos, como·
se muestra en la Figura 1.2.
Recuérdese que se habla de isomorfismo entre dos estructuras
cuando el estudio de cada una puede reducirse al de la otra, lo que
brinda dos puntos de vista diferentes sobre una misma cuestión. El
concepto matemático de isomorfismo (del griego iso-morfos: igual forma)
transmite la idea de estructuras equivalentes.
Figura :1.2: Isomorfismo entre gramáticas y autómatas.
Ahora debe anticiparse que Chomsky utilizó las formas que toman
las reglas de producción de las gramáticas para proponer una
clasificación en cuatro tipos, en las que las menos restringidas incluyen
sucesivamente a las siguientes, lo que queda resumido en la Figura 1.3.
Figura :1.3: Jerarquía de gramáticas de Chomsky.
Es interesante comprobar que en los diez años que siguieron a la
presentación de las Gramáticas Generativas (1956) se completó el
Alfaomega GIRÓ, VAzOUEZ, MELONI, CONSTABLE
vínculo entre la jerarquía de Chomsky Y
a bs tractas, que se representa en la F'g la familia de ma-qui·n as
continuación. 1 ura 1·4 Y que se describe a
Figura :1.4: Relacio~es entre las máquinas y los tipos de gramáticas
segun la Jerarquía de Chomsky,
En 1958, el propio Chomsk M'
gramáticas regulares {Tipo 3) está//,/ t iller comprobaron que las
autómatas finitos; luego un añ d1rec a:iiente relacionadas con los
equivalencia entre las gramáticaº ~spues . C~omsky estableció la
máquinas de Turing Hubo que s sin restricciones (Tipo O) Y las
d , · esperar hasta 1963
emostrara el vinculo entre las gramát' . d . para que se
(Tipo 2) Y los autómatas con ila ,cas m epend1entes del contexto
último, Kuroda, en 1964, des¿ub;¡¿ºr C~omsky Y ~chutzenberger y, por
gra'!7áticas dependientes del contexii~/s l~n)guaJes gener~dos por las
automatas linealmente acotados. ipo son reconocidos por