 Subdivision rules give a sequence of tilings of a surface , and tilings give an idea of distance , length , and area ( by letting each tile have length and area 1 ) . In the limit , the distances that come from these tilings may converge in some sense to an analytic structure on the surface . The Combinatorial Riemann Mapping Theorem gives necessary and sufficient conditions for this to occur . 
