Durante esta simulación puede que M acepte, en cual caso M' también acepta, o puede que M rodee, en cual caso M' no hace nada (y así también rodee).