Программирование на JAVA

будет установлено после очеред­ного тактового импульса, достаточно знать значение x и текущее значение счетчи­ка. Предшествующие его значения для этого не нужны. Если текущее значение равно 2 и x = 0, следующим значением будет 3. И не важно, получено текущее зна­чение путем прямого счета от 1 или путем обратного счета от 3.

Прежде чем показать, как реализуется такая схема, давайте опишем ее поведе­ние с помощью диаграммы состояний. У нашего счетчика имеется четыре разных состояния: S0, S1, S2 и S3. Диаграмма состояний — это граф, в котором состояния представлены окружностями (иногда называемыми узлами). Переходы между состояниями представлены стрелками с надписями. Связанная со стрелкой над­пись указывает, какое значение переменной x вызывает данный переход, и какое значение счетчика получается в результате. Диаграмма состояний для нашего счетчика с прямым/обратным счетом приведена на рис. 2.45. Например, стрелка, исходящая от состояния Sl (счетчик = 1) при x - 0, указывает на состояние S2. При этом сообщается, что пока схема находится в состоянии Sl и x = 0, выходное значение z должно быть равным 0. Стрелка, ведущая от узла S2 к узлу S3, указы­вает, что когда x = 0, на следующем такте будет выполнен переход в состояние S3, а выходное значение z будет установлено в 1.