“…Clearly the morphism λ i is locally surjective and bijective on the sets of the vertices. Furthermore, M i and N i are approximate automata of SΓ (S[φ, t e ], u) and SΓ (S φ, t , θ 2 (u)), respectively, by Lemma 4.2 (2). Therefore, (P1), (P2) and (P3) are satisfied for i.…”