What is the exact definition of a memory address space?
Is it correct to name the set of all the numbers from 0 to the highest addressable byte the definition of an address space?
EDIT: I would like to know if there is a formal definition of an address space the same way as there is a mathematical formal definition for a Finite State Automata.
Sure, and it is pretty simple. A linear memory adress space can be mathematically modeled as an n-dimensional vector from the set Mn, where M represents the finite set of numbers which fit into one memory cell (for example, M={0,...,255} when the memory is addressed in portions of one byte), and n is the maximum number of addresses.
The "address of a memory cell" then is nothing but an index into the vector, from 0 to n-1, where the related coordinate represents the content of the memory cell.
