(Solved) : 6 Weakest Precondition Following Assignment Statement X 2 Y X X X 10 Y 10 X 10 2y X 10 Y X Q44009860 . . .
6. What is the weakest precondition for the following assignmentstatement:
x = 2 * ( y – x) + x { x > 10}
y > 10
x > 10
2y – x > 10
y – x > 5
7.
The start symbol in a grammar is:
Terminal symbol
Nonterminal symbol
Neither terminal nor nonterminal
Both terminal and nonterminal
8.
What did Chomsky propose?
BNF
Context-free grammars only
EBNF
Four classes of grammars, including context-free grammars
10. Which of the following are nonterminal symbols in thegrammar rule:
<expr> –> <expr> + <term> | <expr> -<term> | <term>
<expr>
+
–
<term>
Expert Answer
Answer to 6. What is the weakest precondition for the following assignment statement: x = 2 * ( y – x) + x { x > 10} y > 10 x > 10…
OR