tex {\large $g(i)$}
tex {\large $g: I \rightarrow S$}
tex {\large distribuidor}
tex {\large espacial}
tex {\large $e: S \rightarrow C^2$}
tex {\large instalador}
tex {\large $f(g(i))$ (prefixo)}
tex {\large $a: C^2 \rightarrow R_1$}
tex {\large gerador de}
tex {\large r\'otulo}
tex {\large Alg. 1/5}
tex {\large $f: S \rightarrow R_1$}
tex {\large sistema de identifica\c{c}\~ao}
tex {\large dos subsistemas}
tex {\large $t: g^*(g(i)) \rightarrow T_r$}
tex {\large temporal}
tex {\large $g(i)(i)$ (sufixo)}
tex {\large $b: T_r \rightarrow R_2$}
tex {\large Alg. 2/6}
tex {\large $g(i): g^*(g(i)) \rightarrow R_2$}
tex {\large subsistema de identifica\c{c}\~ao}
tex {\large repons\'avel pela identifica\c{c}\~ao de $i$}
tex {\large $i$}
tex {\large $h(i)$}
tex {\large $h(i) = (f(g(i)), g(i)(i))$}
tex {\large $c(h(i))$}
tex {\large $s(i)$}
tex {\large $c: R_1 \times R_2 \rightarrow R$}
tex {\large Alg. 3/7}
tex {\large $\times$}