Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais. Documento