Q1: Compute the weakest precondition for each of the following assignment statements and postconditions: a) a= 2* (b - 1) -1 {a > 0} b) b=(c+ 10)/3 {b>6} c) a=a+2*b -1 {a > 1} d) x=2* y+ x -1 {x > 11}

Computer Networking: A Top-Down Approach (7th Edition)
7th Edition
ISBN:9780133594140
Author:James Kurose, Keith Ross
Publisher:James Kurose, Keith Ross
Chapter1: Computer Networks And The Internet
Section: Chapter Questions
Problem R1RQ: What is the difference between a host and an end system? List several different types of end...
icon
Related questions
Question
Q1: Compute the weakest precondition for each of the following assignment statements and
postconditions:
a) a=2* (b - 1) -1 {a > 0}
b) b=(c+10)/3 {b>6}
c) a=a+2*b-1 {a > 1}
d) x=2* y+ x -1 {x > 11}
Q2: Using the grammar, show a parse tree and a leftmost derivation for each of the following
statements:
<assign> → <id>
<id> → A| BI C
<expr>
<expr> → <id> + <expr>
| <id>
<еxpr>
|( <expr>)
<id>
1.
a. A = A * (B + (C * A))
b. B C* (A * C+ B)
с. А - А * (В + (C))
Transcribed Image Text:Q1: Compute the weakest precondition for each of the following assignment statements and postconditions: a) a=2* (b - 1) -1 {a > 0} b) b=(c+10)/3 {b>6} c) a=a+2*b-1 {a > 1} d) x=2* y+ x -1 {x > 11} Q2: Using the grammar, show a parse tree and a leftmost derivation for each of the following statements: <assign> → <id> <id> → A| BI C <expr> <expr> → <id> + <expr> | <id> <еxpr> |( <expr>) <id> 1. a. A = A * (B + (C * A)) b. B C* (A * C+ B) с. А - А * (В + (C))
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps

Blurred answer
Recommended textbooks for you
Computer Networking: A Top-Down Approach (7th Edi…
Computer Networking: A Top-Down Approach (7th Edi…
Computer Engineering
ISBN:
9780133594140
Author:
James Kurose, Keith Ross
Publisher:
PEARSON
Computer Organization and Design MIPS Edition, Fi…
Computer Organization and Design MIPS Edition, Fi…
Computer Engineering
ISBN:
9780124077263
Author:
David A. Patterson, John L. Hennessy
Publisher:
Elsevier Science
Network+ Guide to Networks (MindTap Course List)
Network+ Guide to Networks (MindTap Course List)
Computer Engineering
ISBN:
9781337569330
Author:
Jill West, Tamara Dean, Jean Andrews
Publisher:
Cengage Learning
Concepts of Database Management
Concepts of Database Management
Computer Engineering
ISBN:
9781337093422
Author:
Joy L. Starks, Philip J. Pratt, Mary Z. Last
Publisher:
Cengage Learning
Prelude to Programming
Prelude to Programming
Computer Engineering
ISBN:
9780133750423
Author:
VENIT, Stewart
Publisher:
Pearson Education
Sc Business Data Communications and Networking, T…
Sc Business Data Communications and Networking, T…
Computer Engineering
ISBN:
9781119368830
Author:
FITZGERALD
Publisher:
WILEY