En una máquina de Turing, un procedimiento de decisión se ejecuta como una
Función computable
Gramática regular
Autómata finito
Tabla de verdad

Complejidad Computacional Los ejercicios se están cargando. ...