------------------------------------------------------------------------------
MC logo
Derivation Problem
[^] Syntax
------------------------------------------------------------------------------
[Ch. 1: Overview and History] [Syntax] [Names and Scope] [Types and Type Systems] [Semantics] [Functions] [Memory Management] [Imperitive Programs and Functional Abstraction] [Modular and Class Abstraction] [Functional Programming] [Logic Programming]
[ECFG for Tucker and Noonan's Clite Language] [Plain C CFG] [Abstract Syntax for for Tucker and Noonan's Clite Language] [Derivation Problem] [Regular Expression Problems]
Consider the following CFG:
S→B(S) | B | BC
B→a B | b b B | b
C→c C c | c | [B]
Which of the following strings can be derived from the start symbol S? Click on the arrow for the answer.
 
  1. bbb ⇒
    1. Yes. Replace S with B and follow your nose.
  2. bb ⇒
    1. No. Starting from B, if you introduce b, you must stop. So you introduce bb, but you cannot stop there, so there is no way to produce two bs. You can only make odd numbers of bs.
  3. ba ⇒
    1. No. There is no way to introduce an a at the end of the string.
  4. abbb(bccc) ⇒
    1. Yes. Use S → B(S), then use S → BC on the second S.
  5. bbb[ab] ⇒
    1. Yes. Start with S → BC, and use C → [B], then you can derive each part from B.
  6. cabc ⇒
    1. No. To generate a c, you must introduce a C. From S, you can't use S → B(S) since you don't want the parens. You can't use S → B since you can never introduce a C. So you must start with S → BC. But anything that comes from B must start with a or b. So nothing can generate cabc.
  7. bbab(bc[b]c) ⇒
    1. Yes. Start with S → B(S) → B(BC) → B(BcCc)→B(Bc[B]c). Proceed from there.
  8. bbbccc ⇒
    1. Yes. Start with S → BC.