Computers are finite machines; when given the same input, they always produce the same output.