You have to specify the output of rolling the die. If you use an RNG you would provide the seed state for the RNG as an input to the algorithm. Think of it as

You have to specify the output of rolling the die. If you use an RNG you would provide the seed state for the RNG as an input to the algorithm. Think of it as “can I run this algorithm on a Turing machine”