Una máquina de Turing que tiene más de un estado próximo para algunas combinaciones de contenido de la celda actual y el estado actual. Una entrada es aceptada si cualquier movimiento secuencia conduce a la aceptación.