É a descrição abstrata e genérica de uma verdade, de forma concatenada e coerente, por meio de grandezas de entrada e saída, e de estado de um sistema para desempenho de uma tarefa. Trata-se