Download - AUTÓMATA LINEALMENTE ACOTADO
![Page 1: AUTÓMATA LINEALMENTE ACOTADO](https://reader035.vdocuments.co/reader035/viewer/2022072106/568132b1550346895d9968a3/html5/thumbnails/1.jpg)
AUTÓMATA LINEALMENTE ACOTADO
Docente: Ing. Pizarro
Integrantes:
Lombeida Yagual Evelyn
Rojas Borbor Gloria
![Page 2: AUTÓMATA LINEALMENTE ACOTADO](https://reader035.vdocuments.co/reader035/viewer/2022072106/568132b1550346895d9968a3/html5/thumbnails/2.jpg)
Introducción
Es un autómata similar a una máquina de Turing no determinista.
Si bien las máquinas abstractas introducidas hasta entonces tenían como objetivo el cálculo de funciones, con el tiempo los investigadores se encargaron de estudiar la potencia de las máquinas como reconocedoras de lenguajes.
![Page 3: AUTÓMATA LINEALMENTE ACOTADO](https://reader035.vdocuments.co/reader035/viewer/2022072106/568132b1550346895d9968a3/html5/thumbnails/3.jpg)
Autómatas Lineales
La diferencia con una máquina de Turing, consiste en que la entrada de la cadena en la cinta es el único espacio que la cinta permite usar, todo el proceso se hace entre los marcadores del extremo.
Un autómata linealmente acotado tiene más poder que los autómatas de pila no determinísticos, pero menos poder que las máquinas de Turing.
Los autómatas linealmente acotados se basan en la gramática de Tipo 1 (sensibles al contexto).
![Page 4: AUTÓMATA LINEALMENTE ACOTADO](https://reader035.vdocuments.co/reader035/viewer/2022072106/568132b1550346895d9968a3/html5/thumbnails/4.jpg)
Componentes
Un autómata linealmente acotado está formado por los siguientes componentes:
M : {Q, A, B, δ, q0, F, #, $}
![Page 5: AUTÓMATA LINEALMENTE ACOTADO](https://reader035.vdocuments.co/reader035/viewer/2022072106/568132b1550346895d9968a3/html5/thumbnails/5.jpg)
Componentes
![Page 6: AUTÓMATA LINEALMENTE ACOTADO](https://reader035.vdocuments.co/reader035/viewer/2022072106/568132b1550346895d9968a3/html5/thumbnails/6.jpg)
Componentes
{L, R, H}: acciones de la cinta: L = movimiento a la izquierda, R = movimiento a la derecha, H = movimiento nulo.