As especificações formais de sistemas devem ser precisas e isentas de ambigüidade, permitindo, assim, eliminar dúvidas em uma especificação e evitar problemas de má interpretação de linguagem.