Рубрики

ВОРОТА | GATE IT 2006 | Вопрос 37

Для конечного автомата со следующей диаграммой состояний выражение для следующего состояния S + в терминах текущего состояния S и входных переменных x и y имеет вид

(А) S + = S '. у '+ с. Икс
(B) S + = S. Икс . y '+ S'. год назад Икс'
(С) S + = х. у»
(D) S + = S '. у + с. x'col

Ответ: (А)
Объяснение:

Для следующего состояния S = 1 возможны два случая:

  • S = 1, х = 1
  • S = 0, y = 0

Для следующего состояния S = 0 возможны два случая:

  • S = 1, х = 0
  • S = 0, y = 1

Вышеуказанные условия могут быть сведены в таблицу как (где X означает, что переменная не влияет на изменение состояния)

xySS+
1X11
X001
0X10
X100

Хорошо видно, что S + зависит от состояния S и любой переменной x или y. Это напрямую исключает вариант (B) и вариант (C).
Теперь мы можем проверить другие два варианта. Когда S = 1 и x = 1, опция (D) задает S + как 0, который в противном случае должен быть равен единице, поэтому (D) также можно исключить.
Вариант (А) удовлетворяет всем, отсюда и ответ.

Это решение предоставлено Яшикой Арора .

Тест на этот вопрос

Рекомендуемые посты:

ВОРОТА | GATE IT 2006 | Вопрос 37

0.00 (0%) 0 votes