https://1library.co/document/z3d3o19y-aproximacion-entscheidungsproblem-teoria-automatas-maquinas-turing.html