A lot of what I’m trying to do with mathematical models of computer systems involves operations on finite sequences. Define a “finite sequence of length n>0” to be any total map f: {1 … n} → X for some set X.
A lot of what I’m trying to do with mathematical models of computer systems involves operations on finite sequences. Define a “finite sequence of length n>0” to be any total map f: {1 … n} → X for some set X.