AUTÓMATA LINEALMENTE
ACOTADO
Docente: Ing. Pizarro
Integrantes:
Lombeida Yagual Evelyn
Rojas Borbor Gloria
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.
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).
Componentes

Un autómata
componentes:
linealmente

M : {Q, A, B, δ, q0, F, #, $}
acotado
está
formado
por
los
siguientes
Componentes
Componentes
{L, R, H}: acciones de la cinta: L = movimiento a la izquierda, R = movimiento a la
derecha, H = movimiento nulo.
Descargar

TEOREMA DE MYHILL