A device, computer program, or system that accepts the same inputs and produces the same outputs as a given system.