2.1 - Estado de uma Variável

O estado é representado pelo valor permitido presente na variável de um determinado tipo, ou seja, um valor presente no intervalo definido para o referido tipo. O estado de uma variável somente pode assumir valores permitidos, nunca proibidos.

Para facilitar a compreensão vamos imaginar um caso simples, usando uma variável de tipo primitivo (um valor único) inteiro (int) na linguagem de programação Java. Considere a instrução:

Declaramos a variável cujo identificador é "a" e cujo valor permitido é 10. Ou seja, podemos dizer que o estado da variável é representado por seu valor. Isso posto, a variável tem o estado 10 (valor permitido).

Agora considere a seguinte instrução que possui uma operação de somar:

Neste caso, a variável "a" que valia 10 passou a valer 11. Ou seja, a variável passou pelo que chamamos de transição de estado. Isso significa que a variável mudou de um valor permitido (10) para outro valor permitido (11). Deste modo a transição de estado é considerada válida.