For example grammarbased techniques are introduced for traversals of Cartesian and octreetype meshes and arithmetisation of SFC is explained to compute SFC mappings and indexings. The locality properties of SFC are discussed in detail together with their importance for algorithms.