(Solved) : Q1 Signatures Behaviours Suppose System Two Inputs Type 0 1 2 4 One Output Type True False Q44119748 . . .
Q1. Signatures and behaviours Suppose that we have a system withtwo inputs, each of type {0, 1, 2, 4} and one output of type{true,false}. (a) What could be a signature for the system. (b) Howmany behaviours belong to this signature. (c) How manyspecifications have this signature? (d) Which of these behavioursare accepted by a specification that says that the output is trueif and only if the first input is less than the second.
Expert Answer
Answer to Q1. Signatures and behaviours Suppose that we have a system with two inputs, each of type {0, 1, 2, 4} and one output of…
OR