On Computable Numbers with an Application to the Entscheidungsproblem