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

<<- Назад к вопросам

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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