Una
máquina de Turing (MT) es un modelo computacional que realiza una
lectura/escritura de manera automática sobre una entrada llamada cinta,
generando una salida en esta misma.
Este
modelo está formado por un alfabeto de entrada y uno de salida, un símbolo
especial llamado blanco (normalmente b,
o 0), un conjunto de estados finitos y un conjunto de transiciones entre
dichos estados. Su funcionamiento se basa en una función de transición, que
recibe un estado inicial y una cadena de caracteres (la cinta, la cual puede
ser infinita) pertenecientes al alfabeto de entrada.
No hay comentarios:
Publicar un comentario