Semantic rule: .expected_type +.actual_type 2. Syntax rule: → Semantic rule: .actual_type .actual_type Predicate: .actual_type == . expected_type 3. Syntax rule: →+ Semantic rule: .actual_typet.actual_ type Predicate: .actual_type == . expected_type 4. Syntax rule: → Semantic rule: .actual_type .actual_type 5. Syntax rule: → [2] + [3] Semantic rule: actual tne t Svar>121 actual tyne

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
1. Use the following attribute grammar to answer the questions below.
1. Syntax rule: <assign> → <var>= <expr>
Semantic rule: <expr>.expected_type + <var>.actual_type
2. Syntax rule: <expr> →<var>
Semantic rule: <expr>.actual_type + <var>.actual_type
Predicate: <expr>.actual_type == <expr>. expected_type
3. Syntax rule: <expr> →<var>+ <term>
Semantic rule: <expr>.actual_type <term>.actual_type
Predicate: <expr>.actual_type == <expr>. expected_type
4. Syntax rule: <term> → <var>
Semantic rule: <term>.actual_type + <var>.actual_type
5. Syntax rule: <term> → <var>[2] + <var>[3]
Semantic rule: <term>.actual_type + <var>[2].actual_type
Predicate: <var>[2].actual_type == <var>[3].actual_type
6. Syntax rule: <var> → A | B | C
Semantic rule: <var>.actual_type + look-up(<var>.string)
a) Draw a fully attributed parse tree for the sentence C = B+c +A, assuming that
A has type real, B has type int, and C has type real. See Figure 3.8 in Sebesta for
an example of such a tree.
b) According to the attribute grammar, is this sentence valid?
Transcribed Image Text:1. Use the following attribute grammar to answer the questions below. 1. Syntax rule: <assign> → <var>= <expr> Semantic rule: <expr>.expected_type + <var>.actual_type 2. Syntax rule: <expr> →<var> Semantic rule: <expr>.actual_type + <var>.actual_type Predicate: <expr>.actual_type == <expr>. expected_type 3. Syntax rule: <expr> →<var>+ <term> Semantic rule: <expr>.actual_type <term>.actual_type Predicate: <expr>.actual_type == <expr>. expected_type 4. Syntax rule: <term> → <var> Semantic rule: <term>.actual_type + <var>.actual_type 5. Syntax rule: <term> → <var>[2] + <var>[3] Semantic rule: <term>.actual_type + <var>[2].actual_type Predicate: <var>[2].actual_type == <var>[3].actual_type 6. Syntax rule: <var> → A | B | C Semantic rule: <var>.actual_type + look-up(<var>.string) a) Draw a fully attributed parse tree for the sentence C = B+c +A, assuming that A has type real, B has type int, and C has type real. See Figure 3.8 in Sebesta for an example of such a tree. b) According to the attribute grammar, is this sentence valid?
Expert Solution
steps

Step by step

Solved in 4 steps with 4 images

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