For example, grammar-based techniques are introduced for traversals of Cartesian and octree-type 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.