notas-alf/maquinas_turing_2.pdf