Given the following expression in language A (true op1 (false op2 true)) Which of the following expressions in Language B has the same semantic meaning? (Assuming that operations occur left to right like the OpSem, I.E. e₁ op1 e2 is not the same as e2 op1 e1) op3 op4 true false true op3 op4 false true true op3 true op4 false true op3 false op4 true true None of the above Recall that Operational Semantics gives meaning to expressions by the operations performed. Consider the two operational semantic rules for two languages A and B. OCaml will be the meta- language for both. Language A A; true true A; false false A; e1 ⇒v1 A; e2 ⇒ V2 A; (e1 opl e2) V3 = if v₁ then V2 else V1 v3 A; e1⇒v1 A; e2 ⇒ V2 v3 if v₁ then v₁ else v₂ A; (e1 op2 e2) v3 Language B A; true true A; false => false A; e1 ⇒v1 A; e2 ⇒ V2 V3 = v₁ && v₂ A; op3 e₁ e2 V3 A; e1 ⇒v1 A; e2 ⇒ V2 v3 = v1 || v2 A; op4 e₁ e2 ⇒ V3
Given the following expression in language A (true op1 (false op2 true)) Which of the following expressions in Language B has the same semantic meaning? (Assuming that operations occur left to right like the OpSem, I.E. e₁ op1 e2 is not the same as e2 op1 e1) op3 op4 true false true op3 op4 false true true op3 true op4 false true op3 false op4 true true None of the above Recall that Operational Semantics gives meaning to expressions by the operations performed. Consider the two operational semantic rules for two languages A and B. OCaml will be the meta- language for both. Language A A; true true A; false false A; e1 ⇒v1 A; e2 ⇒ V2 A; (e1 opl e2) V3 = if v₁ then V2 else V1 v3 A; e1⇒v1 A; e2 ⇒ V2 v3 if v₁ then v₁ else v₂ A; (e1 op2 e2) v3 Language B A; true true A; false => false A; e1 ⇒v1 A; e2 ⇒ V2 V3 = v₁ && v₂ A; op3 e₁ e2 V3 A; e1 ⇒v1 A; e2 ⇒ V2 v3 = v1 || v2 A; op4 e₁ e2 ⇒ V3
Programming Logic & Design Comprehensive
9th Edition
ISBN:9781337669405
Author:FARRELL
Publisher:FARRELL
Chapter2: Elements Of High-quality Programs
Section: Chapter Questions
Problem 9RQ
Related questions
Question
Transcribed Image Text:Given the following expression in language A
(true op1 (false op2 true))
Which of the following expressions in Language B has the same semantic meaning? (Assuming that
operations occur left to right like the OpSem, I.E. e₁ op1 e2 is not the same as e2 op1 e1)
op3 op4 true false true
op3 op4 false true true
op3 true op4 false true
op3 false op4 true true
None of the above
Transcribed Image Text:Recall that Operational Semantics gives meaning to expressions by the operations performed.
Consider the two operational semantic rules for two languages A and B. OCaml will be the meta-
language for both.
Language A
A; true true
A; false
false
A; e1 ⇒v1
A; e2 ⇒ V2
A; (e1 opl e2)
V3 =
if v₁ then V2 else V1
v3
A; e1⇒v1
A; e2 ⇒ V2 v3
if v₁ then v₁ else v₂
A; (e1 op2 e2)
v3
Language B
A; true true
A; false
=> false
A; e1 ⇒v1
A; e2 ⇒ V2
V3 = v₁ && v₂
A; op3 e₁ e2
V3
A; e1 ⇒v1
A; e2 ⇒ V2
v3 = v1 || v2
A; op4 e₁ e2 ⇒ V3
Expert Solution
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
Step by step
Solved in 2 steps
Recommended textbooks for you
Programming Logic & Design Comprehensive
Computer Science
ISBN:
9781337669405
Author:
FARRELL
Publisher:
Cengage
EBK JAVA PROGRAMMING
Computer Science
ISBN:
9781305480537
Author:
FARRELL
Publisher:
CENGAGE LEARNING - CONSIGNMENT
Np Ms Office 365/Excel 2016 I Ntermed
Computer Science
ISBN:
9781337508841
Author:
Carey
Publisher:
Cengage
Programming Logic & Design Comprehensive
Computer Science
ISBN:
9781337669405
Author:
FARRELL
Publisher:
Cengage
EBK JAVA PROGRAMMING
Computer Science
ISBN:
9781305480537
Author:
FARRELL
Publisher:
CENGAGE LEARNING - CONSIGNMENT
Np Ms Office 365/Excel 2016 I Ntermed
Computer Science
ISBN:
9781337508841
Author:
Carey
Publisher:
Cengage
C++ for Engineers and Scientists
Computer Science
ISBN:
9781133187844
Author:
Bronson, Gary J.
Publisher:
Course Technology Ptr
Programming with Microsoft Visual Basic 2017
Computer Science
ISBN:
9781337102124
Author:
Diane Zak
Publisher:
Cengage Learning