linguagem formal em arquivo