AUTOMATA DE PILA

Es un modelo matemático de un sistema que recibe una cadena constituida por

símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el
autómata reconoce.
Los autómatas de pila pueden aceptar lenguajes que no pueden aceptar los
autómatas finitos. Un autómata de pila cuenta con una cinta de entrada y un
mecanismo de control que puede encontrarse en uno de entre un número finito
de estados. Uno de estos estados se designa como estado inicial, y además
algunos estados se llaman de aceptación o finales. A diferencia de los
autómatas finitos, los autómatas de pila cuentan con una memoria auxiliar
llamada pila.

El analizador sintáctico
Las fases de la compilación, entre las que se encontraba la fase de análisis
sintáctico, son las siguientes:

Como puede apreciarse en la figura, el analizador sintáctico obtiene una

cadena de tokens del analizador léxico y genera un árbol sintáctico, siendo el
objetivo de esta fase la de comprobar que la secuencia de componentes
léxicos que le entrega el analizador léxico cumple las reglas de la gramática
que se han definido previamente. Los dos tipos generales más usados de
analizadores sintácticos son los descendentes y los ascendentes.

PROCESO DE ANALISIS SINTACTICOS LL

Es un analizador sintáctico descendente que no necesita retroceder, y para ello es necesario
que a partir del token a reconocer, sea posible determinar qué regla se debe aplicar. El método
LL(1) es efectivo porque está basado en un autómata a pila que contiene en la misma
terminales y no terminales (aunque en la cima de la pila siempre hay un no terminal), y en una
tabla de análisis, donde se especifica la producción a aplicar para cada token que se tenga que
reconocer de la entrada y el no terminal que inicia la producción. El significado de las siglas
LL(1) es el siguiente:

MAQUINA DE TURING
La llamada “Máquina de Turing” es en realidad un modelo matemático
consistente en un autómata que es capaz de “implementar cualquier problema
matemático expresado a través de un algoritmo”. A pesar de esta definición tan
complicada, en realidad la máquina de Turing destaca por su simplicidad pues
manipula símbolos sobre una tira de cinta siguiendo una serie de reglas. A
pesar de esta simplicidad, una máquina de Turing puede adaptarse para que
simule la lógica de cualquier algoritmo de computador, de ahí su enorme
potencial y valor.
Una Máquina de Turing consta de una cinta infinita dividida en espacios de
trabajo o celdas yuxtapuestas que actúa como memoria, un cabezal capaz de
leer y escribir símbolos en la cinta y moverla de celda en celda a derecha e
izquierda, un registro de estado, y una tabla finita de instrucciones o tabla de
acción.

La máquina de Turing es considerada un autómata con la capacidad de

reconocer lenguajes formales de acuerdo a la jerarquía de Chomsky, razón por
la cual es muy superior a otros autómatas como el autómata con pila o el
autómata finito.

LENGUAJES ACEPTADOS POR LA MAQUINA DE TURING

Aceptan lenguajes formales que pueden ser generados por una gramática de
tipo 0: recursivamente innumerable (r.e) Las máquinas de Turing son los
reconocedores de lenguaje más poderosos que existen.

Lenguajes regulares: las gramáticas (de tipo 3) formales definen un lenguaje

describiendo como se pueden generar las cadenas del lenguaje… Las
gramáticas regulares (aquellos reconocidos por un autómata finito). Son las
gramáticas más restrictivas. El lado derecho de una producción debe contener
un símbolo Terminal y como máximo un símbolo no Terminal.

Lenguajes Libres de contexto: Estas gramáticas conocidas también como

gramáticas de tipo 2 o gramáticas independientes del contexto, son las que
generan los lenguajes libres o independientes del contexto. Los lenguajes libres
del contexto son aquellos que pueden ser reconocidos por un autómata de pila
determinístico o no determinístico. Como toda gramática se definen mediante
una cuádruple G=N, T, S, P), siendo N un conjunto finito de símbolos no
terminales; T un conjunto de símbolos terminales: P un conjunto finito de
producciones; S es el símbolo distinguido o axioma.