GATE CSE 1998 | Question: 22

Question

• A. An identifier in a programming language consists of up to six letters and digits of which the first character must be a letter. Derive a regular expression for the identifier.

• B. Build an $LL(1)$ parsing table for the language defined by the $LL(1)$ grammar with productions

  $\text{Program} \rightarrow \text{ begin } d \text{ semi } X\text{ end}$

  $X \rightarrow d \text{ semi } X \mid sY$

  $Y \rightarrow \text{ semi } s Y \mid \epsilon$

Answer 1

a.  $(letter)(letter+digit+\epsilon)^5$

b. 

• A. Program $\rightarrow$ begin d semi $X$ end 
• B. $X \rightarrow d \ semi X$  
• C. $X \rightarrow sY$ 
• D. $Y \rightarrow semi \ sY$
• E. $Y \rightarrow \epsilon$

$$\begin{array}{|l|l|l|}\hline \textbf{Variable} & \textbf{First} & \textbf{Follow} \\\hline \text{Program} & \text{begin} & \text{\$} \\\hline \text{X} & \text{d, s} & \text{end} \\\hline \text{Y} & \text{semi, } \epsilon & \text{end}\\\hline \end{array}$$
Here, First$(Y)$ contains $\epsilon$ so we need to add   $Y \rightarrow \epsilon$ to Follow$(Y)$ 
$$\begin{array}{|l|l|l|l|l|l|l|}\hline \textbf{Variable} & \textbf{begin} & \textbf{d} & \textbf{semi} & \textbf{s} & \text{end} & \textbf{\$} \\\hline \text{Program} & \text{A} & \text{} & \text{}& \text{}& \text{}& \text{}\\\hline \text{X} & \text{} & \text{B} & \text{} & \text{C} & \text{} & \text{} \\\hline \text{Y} & \text{}& \text{} & \text{D} & \text{} & \text{Y} \rightarrow \epsilon \\\hline \end{array}$$

Comments

How did you decide "semi" is variable or terminal?

---

"semi" cannot be a variable as we do not have any productions from it.

---

for part a) (letter)(letter+digit+epsilon)⁵

---

please edit part a.

---

y->epsilon should also be under $ . please correct if wrong

---

@Mohnish If follow of y contained $ then you would’ve been right. but here follow of y contains only one terminal = end so what you are saying is wrong

Answer 2

a.
  $(letter)(letter + digit + epsilon)^5$
b.
1.program ---> begin d semi X end      
2.    X -----> d semi x
3.              | sY
4.    Y ----->  semi sY
5.              | epsilon

                   begin       d       semi      s       end     $
program       1
     X                            2                      3
     Y                                       4                                5

Comments

How did you decide "semi" is variable or terminal?

---

terminals are given in small letters.

---

if any symbol(semi in this case) is a non terminal, then we must have it at the LHS of a production.So semi is a terminal.