Стили и методы программирования

Каким дополнительным требованиям должны удовлетворять условия, сопоставленные различным дугам, выходящим из одного и того же состояния, если мы стремимся сделать программу детерминированной?

(Отметьте один правильный вариант ответа.)

Варианты ответа

конъюнкция всех этих условий должна быть противоречива

дизъюнкция этих условий должна быть истинна

проверка каждого условия должна быть локальна и ничего не изменять в состоянии системы

конъюнкция каждых двух условий должна быть противоречива(Верный ответ)

дизъюнкция каждых двух условий должна быть истинна

дизъюнкция любого собственного подмножества условий не должна быть истинна

Похожие вопросы

Каким требованиям должны удовлетворять условия, сопоставленные различным дугам, выходящим из одного и того же состояния?

Каково требование на условия, сопоставленные различным переходам между состояниями, для применимости стиля автоматного программирования?

Каково требование на действия, сопоставленные различным переходам, при программировании на переходах?

Каково требование на действия, сопоставленные различным состояниям, при программировании на переходах?

Каково требование на действия, сопоставленные различным состояниям, для применимости варианта стиля в состояниях?

Можно ли представлять действия, сопоставленные состояниям, как массив функций?

Почему две ипостаси одного и того же стиля иногда приходится соединять?

Почему две ипостаси одного и того же стиля плохо соединяются между собой?