on computable numbers, with an application to the entscheidungsproblem