프로그램은 컴퓨터에 무언가를 어떻게 수행해야 할지 지시하는 인스트럭션 세트입니다. 모든 프로그램의 기본은 입력을 받고 출력을 반환하는 방식을 컴퓨터에 알려주는 것입니다.
프로그램은 문제를 해결합니다. 하지만 프로그램은 매우 직설적이기 때문에 지니와 계약을 맺는 것과 같습니다. 지니인 프로그램은 사용자의 요청을 정확히 들어줍니다. 완전히 정확히요. 프로그래머가 수신될 수 있는 입력과 그로 인한 출력을 정확하게 설명하지 못하고 일어날 일을 가정할 때 오류가 발생합니다.