We have a base file F0
, and all files considered here are F0
repeated a number of times (Natural, >0). We shall treat these files as numbers, each one can be represented by the number of characters it contains. Any other aspect of them can be ignored. Concerning these files we have two functions:
CF
such that CF(F,X)
is the file F
concatenated with itself X
times, i.e.
CF(F,X) = CF(F,X-1) + CF(F,X-1)
CF(F,0) = F
We also have a function AF
such that AF(F,X)
is the file with its initial contents repeated X
times, i.e.