Однак, якщо стан включає змінні, тоді, якщо вони змінюють значення, ми можемо перебувати в одному місці програми з різними значеннями змінних, тобто в іншому стані в просторі станів програми.
Зробіть текст більш зв'язним: однак, якщо стан включає змінні, то якщо вони змінюють значення, ми можемо перебувати в тому самому місці програми з різними значеннями змінних. В іншому стані в просторі станів програми.