Before revision: The program computes some possibly infinite output .
After revision: Each computer program is assigned a weight corresponding to its length .