Programming Language Pragmatics, Fourth Edition
Programming Language Pragmatics, Fourth Edition
4th Edition
ISBN: 9780124104099
Author: Michael L. Scott
Publisher: Elsevier Science
Expert Solution & Answer
Book Icon
Chapter 2, Problem 14E

Explanation of Solution

a.

Grammar for LL (1):

Consider the grammar for LL (1) as below:

1. P  S $$2. S  ( S ) S3. S  [ S ] S4. S  ε

Grammar for SLR (1):

Consider the grammar for SLR (1) as below:

1. P  S $$2. S  S ( S ) 3. S  S [ S ] 4. S  ε

Explanation of Solution

b.

Parsing table for LL (1) grammar:

Top-of-stack non-terminal()[]$$
P1-1-1
S24344
  • The entries in the above table indicates the production of predict. The “-” means an error.
  • If the top-of-stack is terminal, the appropriate action is always to match it against an incoming token from the scanner.

Parsing table for SLR (1) grammar:

Top-of-stackS()[]$$
0s1r4r4r4r4r4
1-s2-s3-b1
2s4r4r4r4r4r4
3s5r4r4r4r4r4
4-s2b2s3--
5-s2-s3b3-
  • The entries in the above table indicates whether to shift (s), reduce (r), or shift and then reduce (d). The “-” means an error.

Explanation of Solution

c.

Parsing tree for LL (1):

Programming Language Pragmatics, Fourth Edition, Chapter 2, Problem 14E , additional homework tip  1

Parsing tree for SLR (1):

Programming Language Pragmatics, Fourth Edition, Chapter 2, Problem 14E , additional homework tip  2

Explanation of Solution

d.

LL (1) trace:

Parse stackInput streamComment
P( [ ] ( [ ] ) ) [ ] ( ( ) ) $$ 
S $$( [ ] ( [ ] ) ) [ ] ( ( ) ) $$Predict P →S $$
( S ) S $$( [ ] ( [ ] ) ) [ ] ( ( ) ) $$Predict S →( S ) S
S ) S $$[ ] ( [ ] ) ) [ ] ( ( ) ) $$Match (
[ S ] S ) S $$[ ] ( [ ] ) ) [ ] ( ( ) ) $$Predict S →[ S ] S
S ] S ) S $$] ( [ ] ) ) [ ] ( ( ) ) $$Match [
] S ) S $$] ( [ ] ) ) [ ] ( ( ) ) $$Predict S → ε
S ) S $$( [ ] ) ) [ ] ( ( ) ) $$Match ]
( S ) S ) S $$( [ ] ) ) [ ] ( ( ) ) $$Predict S →( S ) S
S ) S ) S $$[ ] ) ) [ ] ( ( ) ) $$Match (
[ S ] S ) S ) S $$[ ] ) ) [ ] ( ( ) ) $$Predict S →[ S ] S
S ] S ) S ) S $$] ) ) [ ] ( ( ) ) $$Match [
] S ) S ) S $$] ) ) [ ] ( ( ) ) $$Predict S → ε
S ) S ) S $$) ) [ ] ( ( ) ) $$Match ]
) S ) S $$) ) [ ] ( ( ) ) $$Predict S → ε
S ) S $$) [ ] ( ( ) ) $$Predict S →
) S $$) [ ] ( ( ) ) $$Predict S → ε
S $$[ ] ( ( ) ) $$Match )
[ S ] S $$[ ] ( ( ) ) $$Predict S →[ S ] S
S ] S $$] ( ( ) ) $$Match [
] S $$] ( ( ) ) $$Predict S → ε
S $$( ( ) ) $$Match ]
( S ) S $$( ( ) ) $$Predict S →( S ) S
S ) S $$( ) ) $$Match (
( S ) S ) S $$( ) ) $$Predict S →( S ) S
S ) S ) S $$) ) $$Match (
) S ) S $$) ) $$Predict S → ε
S ) S $$) $$Match )
) S $$) $$Predict S → ε
S $$$$Match )
$$$$Predict S → ε

SLR (1) trace:

Parse stackInput streamComment
0( [ ] ( [ ] ) ) [ ] ( ( ) ) $$ 
0S ( [ ] ( [ ] ) ) [ ] ( ( ) ) $$Reduce by S→ ε
0S1( [ ] ( [ ] ) ) [ ] ( ( ) ) $$Shift S
0S1 ( 2[ ] ( [ ] ) ) [ ] ( ( ) ) $$Shift (
0S1 ( 2S [ ] ( [ ] ) ) [ ] ( ( ) ) $$Reduce by S→ ε
0S1 ( 2 S 4[ ] ( [ ] ) ) [ ] ( ( ) ) $$Shift S
0S1 ( 2 S 4 [ 3 ] ( [ ] ) ) [ ] ( ( ) ) $$Shift [
0S1 ( 2 S 4 [ 3S ] ( [ ] ) ) [ ] ( ( ) ) $$Reduce by S→ ε
0S1 ( 2 S 4 [ 3 S 5] ( [ ] ) ) [ ] ( ( ) ) $$Shift S
0S1 ( 2( [ ] ) ) [ ] ( ( ) ) $$Shift and reduce by S→ S [ S ]
0S1 ( 2S ( [ ] ) ) [ ] ( ( ) ) $$Reduce by S→ ε
0S1 ( 2 S 4( [ ] ) ) [ ] ( ( ) ) $$Shift S
0S1 ( 2 S 4 ( 2[ ] ) ) [ ] ( ( ) ) $$Shift (
0S1 ( 2 S 4 ( 2S [ ] ) ) [ ] ( ( ) ) $$Reduce by S→ ε
0S1 ( 2 S 4 ( 2 S 4[ ] ) ) [ ] ( ( ) ) $$Shift S
0S1 ( 2 S 4 ( 2 S 4 [ 3] ) ) [ ] ( ( ) ) $$Shift [
0S1 ( 2 S 4 ( 2 S 4 [ 3S ] ) ) [ ] ( ( ) ) $$Reduce by S→ ε
0S1 ( 2 S 4 ( 2 S 4 [ 3 S 5] ) ) [ ] ( ( ) ) $$Shift S
0S1 ( 2 S 4 ( 2) ) [ ] ( ( ) ) $$Shift and reduce by S→ S [ S ]
0S1 ( 2 S 4 ( 2S ) ) [ ] ( ( ) ) $$Reduce by S→ ε
0S1 ( 2 S 4 ( 2 S 4) ) [ ] ( ( ) ) $$Shift S
0S1 ( 2) [ ] ( ( ) ) $$Shift and reduce by S→ S ( S )
0S1 ( 2S ) [ ] ( ( ) ) $$Reduce by S→ ε
0S1 ( 2 S 4) [ ] ( ( ) ) $$Shift S
0[ ] ( ( ) ) $$Shift and reduce by S→ S ( S )
0S [ ] ( ( ) ) $$Reduce by S→ ε
0S1[ ] ( ( ) ) $$Shift S
0S1 [ 3] ( ( ) ) $$Shift [
0S1 [ 3S ] ( ( ) ) $$Reduce by S→ ε
0S1 [ 3 S 5] ( ( ) ) $$Shift S
0( ( ) ) $$Shift and reduce by S→ S [ S ]
0S ( ( ) ) $$Reduce by S→ ε
0S1( ( ) ) $$Shift S
0S1 ( 2( ) ) $$Shift (
0S1 ( 2S ( ) ) $$Reduce by S→ ε
0S1 ( 2 S 4( ) ) $$Shift S
0S1 ( 2 S 4 ( 2) ) $$Shift (
0S1 ( 2 S 4 ( 2S ) ) $$Reduce by S→ ε
0S1 ( 2 S 4 ( 2 S 4) ) $$Shift S
0S1 ( 2) $$Shift and reduce by S→ S ( S )
0S1 ( 2S ) $$Reduce by S→ ε
0S1 ( 2 S 4) $$Shift S
0$$Shift and reduce by S→ S ( S )
0S $$Reduce by S→ ε
0S1$$Shift S
0PShift and reduce by S→ S ( S )
[done]  

Want to see more full solutions like this?

Subscribe now to access step-by-step solutions to millions of textbook problems written by subject matter experts!
Students have asked these similar questions
2. Consider the following pseudocode for partition: function partition (A,L,R) pivotkey = A [R] t = L for i L to R-1 inclusive: if A[i] A[i] t = t + 1 end if end for A [t] A[R] return t end function Suppose we call partition (A,0,5) on A=[10,1,9,2,8,5]. Show the state of the list at the indicated instances. Initial A After i=0 ends After 1 ends After i 2 ends After i = 3 ends After i = 4 ends After final swap 10 19 285 [12 pts]
.NET Interactive Solving Sudoku using Grover's Algorithm We will now solve a simple problem using Grover's algorithm, for which we do not necessarily know the solution beforehand. Our problem is a 2x2 binary sudoku, which in our case has two simple rules: •No column may contain the same value twice •No row may contain the same value twice If we assign each square in our sudoku to a variable like so: 1 V V₁ V3 V2 we want our circuit to output a solution to this sudoku. Note that, while this approach of using Grover's algorithm to solve this problem is not practical (you can probably find the solution in your head!), the purpose of this example is to demonstrate the conversion of classical decision problems into oracles for Grover's algorithm. Turning the Problem into a Circuit We want to create an oracle that will help us solve this problem, and we will start by creating a circuit that identifies a correct solution, we simply need to create a classical function on a quantum circuit that…
using r language
Knowledge Booster
Background pattern image
Similar questions
SEE MORE QUESTIONS
Recommended textbooks for you
Text book image
Database System Concepts
Computer Science
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:McGraw-Hill Education
Text book image
Starting Out with Python (4th Edition)
Computer Science
ISBN:9780134444321
Author:Tony Gaddis
Publisher:PEARSON
Text book image
Digital Fundamentals (11th Edition)
Computer Science
ISBN:9780132737968
Author:Thomas L. Floyd
Publisher:PEARSON
Text book image
C How to Program (8th Edition)
Computer Science
ISBN:9780133976892
Author:Paul J. Deitel, Harvey Deitel
Publisher:PEARSON
Text book image
Database Systems: Design, Implementation, & Manag...
Computer Science
ISBN:9781337627900
Author:Carlos Coronel, Steven Morris
Publisher:Cengage Learning
Text book image
Programmable Logic Controllers
Computer Science
ISBN:9780073373843
Author:Frank D. Petruzella
Publisher:McGraw-Hill Education