Consider a context-free grammar G = ({0, 1}, {S, A, B}, S, P), where P is the set of productions: SAB S- - - OA | 1B | E 1S | OAA OS | 1BB a) Give a leftmost derivation of the string 0011. b) Give a rightmost derivation of the string 0011. c) Draw a parse tree for the string 1001. d) Can the string 1110 be derived from the grammar G? If yes, write down the associated derivation tree. If not, give a justification.

Consider a context-free grammar G = ({0, 1}, {S, A, B}, S, P), where P is the set of productions: SAB S- - - OA | 1B | E 1S | OAA OS | 1BB a) Give a leftmost derivation of the string 0011. b) Give a rightmost derivation of the string 0011. c) Draw a parse tree for the string 1001. d) Can the string 1110 be derived from the grammar G? If yes, write down the associated derivation tree. If not, give a justification.

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Similar questions

AST(abstract syntax tree) - Semantic computation for expressionE→TE'E'→+TE'│ε T→FT' T'→*FT'│εF→(E)│iDefine an attribute grammar which can construct an abstract syntax tree for an arithmatic expression by SDD.Define an attribute grammar which can compute the value of the expression and give the procedure of sentence 3+4+5.
1
Q1: Write a grammar for the language that includes all strings containing n copies of alphabet a, followed by n+1 copies of the alphabet b. Assume ? > 0. Upon completion of the grammar definition, draw the parse tree for the sentences abb and aabbb along with the derivations.Q2: Consider the identifier definition of a hypothetical programming as follows: strings of consist of letters and numbers, and they must begin with a letter.
2. Given the grammar below, without any modifications, is it LL(1) in its current form and why yes or no? (Need to compute First() sets and check intersections, separately for each nonterminal). If not LL(1), rewrite as LL(1) and verify it is (do the same all over). S -> abCS | abC | AC A -> bA|bb C -> cC | D D -> dd
24. Show that the grammars and are not equivalent. S→ aSbbSa|SS|a SaSbbSala
For the following grammar, write next to each production all of the set constraints you can deduce from it. Omit tautologies. S' - S$ S- AB A→ a Ab В — ЬВа В — л
Write the corresponding productions to the following context-free grammar G = * ((S), (a, b}, S, P) of the following derivation tree empty string a) S= aSa, S – bSS, S-A O b) s aaSa, S bSb, SA. O C)Sasa, s- bSb, S-A O d)SaSa, S-bSb, S-A. O e) None of them O
Let G be the following grammar: S → aABbCD A - ASd|ɛ B → SAC |hC |E C→ Sf|Cg D - ED |E The number of productions that will remain in G after elimination of all null productions
(a) Exhibit a derivation of the string aaaa using the following phrase structured grammar: S → YZY Z → BZC| E ВС Сав Ва — ав аС — Са BY → Y ҮС — Y Y → E (b) Find a match for the following instance of the Post Correspondence Problem (PCP): {=} {三目圖} b a bb
Context-Free Grammar (CFG)
NAT Lang processing: Please explain in detail Consider a CFG representing a phrase structure grammar for a natural language such as English, including the following rule (the period is part of the rule): S -> NP VP . In this rule, S, NP, and VP are non-terminal symbols, but we will assume that the period is a terminal symbol specifically representing a period (as opposed to some other end-of-sentence marker). So, we can interpret this rule as stating that a sentence can have the form of a noun phrase followed by a verb phrase followed by a period. (To implement a parser for grammars with rules like this, the tokenizer would have to treat periods as separate tokens.) Assume that you need to convert this grammar to Chomsky normal form (CNF), perhaps with the CKY parsing algorithm in mind. Using the procedure discussed in class, show the rules that might result from the conversion.
A context free grammar G is unambiguous if same string has two or more derivation * .tree false true O