Page 122 - LENGUAJES FORMALES AUTOMATAS Y COMPILADOS

122

destinado a señalar el fondo de El autómata con pila está relacionado con las gramáticas
independientes (o libres) del contexto y es representado en la Figura siguiente.

Una de las opciones para desarrollar nuevos autómatas es tomar al autómata finito y hacer posible
que el sentido en el movimiento del cabezal de entrada sea controlado por la misma máquina
obteniendo un autómata finito bidireccional lo que se necesita que la función de transición sea
ampliada y la cadena de datos debe estar limitada. A pesar de esto, estos tipos de autómatas no
incrementa su capacidad y se mantiene vinculado a gramáticas regulares por eso se considera otro
recurso que si incrementa la capacidad y que es la posibilidad de grabar sobre la misma cinta de
entrada obteniendo un autómata linealmente acotado lo que es necesario volver a ampliar la
función de transición para incorporarle el símbolo grabado.

El siguiente paso es eliminar los límites en los extremos de la cinta de entrada / salida permitiendo
el acceso a un espacio ilimitado como la máquina de Turing que es capaz de resolver cualquier
problema que tenga solución, que sea computable.

¿Para qué sirven las máquinas abstractas?

Construcción De Compiladores

Los compiladores convierten programas escritos en algún lenguaje de nivel superior en otros
programas en lenguaje máquina. Al inicio los programas eran escritos en lenguaje máquina pero
luego poner necesidad de mayor poder expresivo acorde a la naturaleza humana se inventaron los
primeros lenguajes superiores de programación e inmediatamente se desarrollaron conversores
para llevarlos a nivel de las máquinas. Esta conversión origina un programa fuente a un programa
objeto. Por ello se crea el lenguaje Fortran el primer lenguaje superior de programación de la era
de la computación. Luego aparecen las gramáticas generativas de Chomsky que fueron adoptadas
para la formalización de los lenguajes de computación y con eso se origina Algol, un lenguaje
superior, lo que estimula y fortalece el desarrollo de nuevos lenguajes de programación.

Para la identificación de los componentes del lenguaje en los compiladores se utilizan autómatas
finitos que toman la forma de analizadores léxicos para la sintáctica y la semántica.

Procesamiento Del Lenguaje Natural
Consiste en el análisis e interpretación de los aspectos lingüísticos de un mensaje a través de
programas informáticos y dentro de las aplicaciones están: la traducción, corrección,